(module acl2-module-v mzscheme

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

  (provide (all-defined))

  (define pkg-owner (this-package-version-owner))
  (define pkg-name (this-package-version-name))
  (define pkg-major (this-package-version-maj))
  (define pkg-minor (this-package-version-min))

  (define planet-loc `(,pkg-owner ,pkg-name ,pkg-major))
  
  (define (make-teachpack-spec file-str)
    `(planet ,file-str ,planet-loc "teachpacks"))
  
  (define teachpack-v
    `(planet "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))

  )