(module acl2-module-v mzscheme

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

  (provide (all-defined))

  (define dracula-package (this-package-version))

  (define (make-dracula-spec file . dirs)
    `(planet ,file ,dracula-package ,@dirs))
  
  (define (make-teachpack-spec file)
    (make-dracula-spec file "teachpacks"))
  
  (define teachpack-v `(planet "teachpacks" ,dracula-package))
  
  (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 (make-dracula-spec "dracula.ss" "lang"))
  
  (define modular-acl2-module-v (make-dracula-spec "main.ss" "modular"))

  )