language/acl2-module-v.scm
(module acl2-module-v mzscheme

  (require (lib "moddep.ss" "syntax")
           (lib "util.ss" "planet"))

  (provide (all-defined))

  (define pkg-owner "cce")
  (define pkg-name "dracula.plt")
  (define pkg-major 2)
  (define pkg-minor 1)

  (define planet-loc `(,pkg-owner ,pkg-name ,pkg-major))
  
  (define (make-teachpack-spec file-str)
    `(planet ,file-str ,planet-loc "language" "teachpacks"))
  
  (define teachpack-v
    `(planet "language/teachpacks" ,planet-loc))
  
  (define backslash-pattern
    #rx"\\\\")
  
  (define (backslashes->forward-slashes str)
    (regexp-replace* backslash-pattern str "/"))
  
  (define teachpack-path
    (string-append (backslashes->forward-slashes
                    (path->string 
                     (resolve-module-path teachpack-v #f)))
                   "/"))
  
  (define acl2-module-v
    `(planet "language/dracula.scm" ,planet-loc))

  )