(module acl2-module-v mzscheme
  (require (lib "moddep.ss" "syntax"))
  (provide (all-defined))
  
  (define pkg-owner "cce")
  (define pkg-name "dracula.plt")
  (define pkg-major 1)
  (define pkg-minor 0)
  
  (define planet-loc (list pkg-owner pkg-name 
                           ;; Leave these out to avoid having to change code
                           ;; on every new release.
                           ;; pkg-major pkg-minor
                           ))
  
  (define (make-teachpack-spec file-str)
    `(planet ,file-str ,planet-loc "language" "teachpacks"))
  
  (define teachpack-v
    `(planet "language/teachpacks" ,planet-loc)
    #;'(lib "teachpacks" "acl2"))
  
  (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)
    #;'(lib "dracula.scm" "acl2")))