(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")) )