diff --git a/collects/version/info.ss b/collects/version/info.ss index 223173d643..cb5fd32318 100644 --- a/collects/version/info.ss +++ b/collects/version/info.ss @@ -1,3 +1,5 @@ (module info (lib "infotab.ss" "setup") (define name "Version") - (define doc.txt "doc.txt")) + (define doc.txt "doc.txt") + (define tools (list "tool.ss")) + (define tool-names (list "Version"))) diff --git a/collects/version/tool.ss b/collects/version/tool.ss new file mode 100644 index 0000000000..016a29183a --- /dev/null +++ b/collects/version/tool.ss @@ -0,0 +1,13 @@ +(module tool mzscheme + (require (lib "tool.ss" "drscheme") + (lib "unitsig.ss") + (lib "framework.ss" "framework")) + (require "patchlevel.ss") + (provide tool@) + (define tool@ + (unit/sig drscheme:tool-exports^ + (import drscheme:tool^) + (define (phase1) (void)) + (define (phase2) (void)) + (when (> patchlevel 0) + (version:add-spec 'p patchlevel)))))