lang/acl2-module-v.ss
(module acl2-module-v scheme

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

  (provide (all-defined-out))

  (define dracula-package (this-package-version))
  (define dracula-package/no-version
    (list (this-package-version-owner)
          (this-package-version-name)))

  (define (make-dracula-spec #:version? [version? #t] file . dirs)
    `(planet ,file
             ,(if version?
                  dracula-package
                  dracula-package/no-version)
             ,@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"))

  )