From 5e5aa7526f21b5cd35f14c93f8d235322e00ea2c Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 28 Aug 2013 12:12:25 -0500 Subject: [PATCH] move the teachpack/deinprogramm collection into the deinprogramm pkg This required making the deinprogramm pkg into a 'multi pkg, which is why all of those other files moved around too --- .../DMdA-advanced-reader.rkt | 0 .../{ => deinprogramm}/DMdA-advanced.rkt | 0 .../DMdA-advanced/lang/reader.rkt | 0 .../DMdA-assignments-reader.rkt | 0 .../{ => deinprogramm}/DMdA-assignments.rkt | 0 .../DMdA-assignments/lang/reader.rkt | 0 .../DMdA-beginner-reader.rkt | 0 .../{ => deinprogramm}/DMdA-beginner.rkt | 0 .../DMdA-beginner/lang/reader.rkt | 0 .../{ => deinprogramm}/DMdA-deflam.rkt | 0 .../{ => deinprogramm}/DMdA-reader.rkt | 0 .../DMdA-vanilla-reader.rkt | 0 .../{ => deinprogramm}/DMdA-vanilla.rkt | 0 .../DMdA-vanilla/lang/reader.rkt | 0 pkgs/deinprogramm/{ => deinprogramm}/DMdA.rkt | 0 .../{ => deinprogramm}/DMdA/lang/reader.rkt | 0 .../{ => deinprogramm}/convert-explicit.rkt | 0 .../{ => deinprogramm}/convert-explicit.scm | 0 .../define-record-procedures.rkt | 0 .../define-record-procedures.scm | 0 .../{ => deinprogramm}/deinprogramm-langs.rkt | 0 .../deinprogramm/{ => deinprogramm}/image.rkt | 0 pkgs/deinprogramm/deinprogramm/info.rkt | 25 ++++++++++++++ .../{ => deinprogramm}/line3d.rkt | 0 .../{ => deinprogramm}/line3d.scm | 0 .../{ => deinprogramm}/logo-small.png | Bin .../{ => deinprogramm}/quickcheck/info.rkt | 0 .../quickcheck/quickcheck.rkt | 0 .../quickcheck/quickcheck.scm | 0 .../{ => deinprogramm}/quickcheck/random.rkt | 0 .../{ => deinprogramm}/quickcheck/random.scm | 0 .../{ => deinprogramm}/run-dmda-code.rkt | 0 .../scribblings/DMdA-advanced.scrbl | 0 .../scribblings/DMdA-assignments.scrbl | 0 .../scribblings/DMdA-beginner.scrbl | 0 .../scribblings/DMdA-lib.scrbl | 0 .../scribblings/DMdA-vanilla.scrbl | 0 .../scribblings/deinprogramm.scrbl | 0 .../scribblings/image.scrbl | 0 .../{ => deinprogramm}/scribblings/info.rkt | 0 .../scribblings/ka-style.tex | 0 .../{ => deinprogramm}/scribblings/ka.scrbl | 0 .../scribblings/line3d.scrbl | 0 .../{ => deinprogramm}/scribblings/p1.jpg | Bin .../{ => deinprogramm}/scribblings/p2.jpg | Bin .../{ => deinprogramm}/scribblings/p3.jpg | Bin .../{ => deinprogramm}/scribblings/p4.jpg | Bin .../scribblings/prim-ops.rkt | 0 .../{ => deinprogramm}/scribblings/shared.rkt | 0 .../scribblings/sound.scrbl | 0 .../scribblings/std-grammar.rkt | 0 .../scribblings/turtle.scrbl | 0 .../scribblings/world.scrbl | 0 .../{ => deinprogramm}/signature/info.rkt | 0 .../signature/module-begin.rkt | 0 .../signature/signature-english.rkt | 0 .../signature/signature-german.rkt | 0 .../signature/signature-syntax.rkt | 0 .../signature/signature-unit.rkt | 0 .../signature/signature.rkt | 0 .../{ => deinprogramm}/signature/tool.rkt | 0 .../{ => deinprogramm}/syntax-checkers.rkt | 0 .../{ => deinprogramm}/test-suite.rkt | 0 .../{ => deinprogramm}/tests/image.rkt | 0 .../tests/run-image-test.rkt | 0 .../tests/run-signature-tests.rkt | 0 .../{ => deinprogramm}/tests/signature.rkt | 0 .../tests/test-docs-complete.rkt | 0 .../{ => deinprogramm}/textbook-pls-spec.rkt | 0 .../{ => deinprogramm}/turtle.rkt | 0 .../deinprogramm/{ => deinprogramm}/world.rkt | 0 pkgs/deinprogramm/info.rkt | 31 ++++-------------- .../teachpack/deinprogramm/image.ss | 0 .../teachpack/deinprogramm/image2.ss | 0 .../teachpack/deinprogramm/line3d.ss | 0 .../teachpack/deinprogramm/sound.ss | 0 .../teachpack/deinprogramm/turtle.ss | 0 .../teachpack/deinprogramm/universe.ss | 0 .../teachpack/deinprogramm/world.ss | 0 79 files changed, 31 insertions(+), 25 deletions(-) rename pkgs/deinprogramm/{ => deinprogramm}/DMdA-advanced-reader.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/DMdA-advanced.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/DMdA-advanced/lang/reader.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/DMdA-assignments-reader.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/DMdA-assignments.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/DMdA-assignments/lang/reader.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/DMdA-beginner-reader.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/DMdA-beginner.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/DMdA-beginner/lang/reader.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/DMdA-deflam.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/DMdA-reader.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/DMdA-vanilla-reader.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/DMdA-vanilla.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/DMdA-vanilla/lang/reader.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/DMdA.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/DMdA/lang/reader.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/convert-explicit.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/convert-explicit.scm (100%) rename pkgs/deinprogramm/{ => deinprogramm}/define-record-procedures.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/define-record-procedures.scm (100%) rename pkgs/deinprogramm/{ => deinprogramm}/deinprogramm-langs.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/image.rkt (100%) create mode 100644 pkgs/deinprogramm/deinprogramm/info.rkt rename pkgs/deinprogramm/{ => deinprogramm}/line3d.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/line3d.scm (100%) rename pkgs/deinprogramm/{ => deinprogramm}/logo-small.png (100%) rename pkgs/deinprogramm/{ => deinprogramm}/quickcheck/info.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/quickcheck/quickcheck.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/quickcheck/quickcheck.scm (100%) rename pkgs/deinprogramm/{ => deinprogramm}/quickcheck/random.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/quickcheck/random.scm (100%) rename pkgs/deinprogramm/{ => deinprogramm}/run-dmda-code.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/scribblings/DMdA-advanced.scrbl (100%) rename pkgs/deinprogramm/{ => deinprogramm}/scribblings/DMdA-assignments.scrbl (100%) rename pkgs/deinprogramm/{ => deinprogramm}/scribblings/DMdA-beginner.scrbl (100%) rename pkgs/deinprogramm/{ => deinprogramm}/scribblings/DMdA-lib.scrbl (100%) rename pkgs/deinprogramm/{ => deinprogramm}/scribblings/DMdA-vanilla.scrbl (100%) rename pkgs/deinprogramm/{ => deinprogramm}/scribblings/deinprogramm.scrbl (100%) rename pkgs/deinprogramm/{ => deinprogramm}/scribblings/image.scrbl (100%) rename pkgs/deinprogramm/{ => deinprogramm}/scribblings/info.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/scribblings/ka-style.tex (100%) rename pkgs/deinprogramm/{ => deinprogramm}/scribblings/ka.scrbl (100%) rename pkgs/deinprogramm/{ => deinprogramm}/scribblings/line3d.scrbl (100%) rename pkgs/deinprogramm/{ => deinprogramm}/scribblings/p1.jpg (100%) rename pkgs/deinprogramm/{ => deinprogramm}/scribblings/p2.jpg (100%) rename pkgs/deinprogramm/{ => deinprogramm}/scribblings/p3.jpg (100%) rename pkgs/deinprogramm/{ => deinprogramm}/scribblings/p4.jpg (100%) rename pkgs/deinprogramm/{ => deinprogramm}/scribblings/prim-ops.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/scribblings/shared.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/scribblings/sound.scrbl (100%) rename pkgs/deinprogramm/{ => deinprogramm}/scribblings/std-grammar.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/scribblings/turtle.scrbl (100%) rename pkgs/deinprogramm/{ => deinprogramm}/scribblings/world.scrbl (100%) rename pkgs/deinprogramm/{ => deinprogramm}/signature/info.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/signature/module-begin.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/signature/signature-english.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/signature/signature-german.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/signature/signature-syntax.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/signature/signature-unit.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/signature/signature.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/signature/tool.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/syntax-checkers.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/test-suite.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/tests/image.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/tests/run-image-test.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/tests/run-signature-tests.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/tests/signature.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/tests/test-docs-complete.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/textbook-pls-spec.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/turtle.rkt (100%) rename pkgs/deinprogramm/{ => deinprogramm}/world.rkt (100%) rename pkgs/{htdp-pkgs/htdp-lib => deinprogramm}/teachpack/deinprogramm/image.ss (100%) rename pkgs/{htdp-pkgs/htdp-lib => deinprogramm}/teachpack/deinprogramm/image2.ss (100%) rename pkgs/{htdp-pkgs/htdp-lib => deinprogramm}/teachpack/deinprogramm/line3d.ss (100%) rename pkgs/{htdp-pkgs/htdp-lib => deinprogramm}/teachpack/deinprogramm/sound.ss (100%) rename pkgs/{htdp-pkgs/htdp-lib => deinprogramm}/teachpack/deinprogramm/turtle.ss (100%) rename pkgs/{htdp-pkgs/htdp-lib => deinprogramm}/teachpack/deinprogramm/universe.ss (100%) rename pkgs/{htdp-pkgs/htdp-lib => deinprogramm}/teachpack/deinprogramm/world.ss (100%) diff --git a/pkgs/deinprogramm/DMdA-advanced-reader.rkt b/pkgs/deinprogramm/deinprogramm/DMdA-advanced-reader.rkt similarity index 100% rename from pkgs/deinprogramm/DMdA-advanced-reader.rkt rename to pkgs/deinprogramm/deinprogramm/DMdA-advanced-reader.rkt diff --git a/pkgs/deinprogramm/DMdA-advanced.rkt b/pkgs/deinprogramm/deinprogramm/DMdA-advanced.rkt similarity index 100% rename from pkgs/deinprogramm/DMdA-advanced.rkt rename to pkgs/deinprogramm/deinprogramm/DMdA-advanced.rkt diff --git a/pkgs/deinprogramm/DMdA-advanced/lang/reader.rkt b/pkgs/deinprogramm/deinprogramm/DMdA-advanced/lang/reader.rkt similarity index 100% rename from pkgs/deinprogramm/DMdA-advanced/lang/reader.rkt rename to pkgs/deinprogramm/deinprogramm/DMdA-advanced/lang/reader.rkt diff --git a/pkgs/deinprogramm/DMdA-assignments-reader.rkt b/pkgs/deinprogramm/deinprogramm/DMdA-assignments-reader.rkt similarity index 100% rename from pkgs/deinprogramm/DMdA-assignments-reader.rkt rename to pkgs/deinprogramm/deinprogramm/DMdA-assignments-reader.rkt diff --git a/pkgs/deinprogramm/DMdA-assignments.rkt b/pkgs/deinprogramm/deinprogramm/DMdA-assignments.rkt similarity index 100% rename from pkgs/deinprogramm/DMdA-assignments.rkt rename to pkgs/deinprogramm/deinprogramm/DMdA-assignments.rkt diff --git a/pkgs/deinprogramm/DMdA-assignments/lang/reader.rkt b/pkgs/deinprogramm/deinprogramm/DMdA-assignments/lang/reader.rkt similarity index 100% rename from pkgs/deinprogramm/DMdA-assignments/lang/reader.rkt rename to pkgs/deinprogramm/deinprogramm/DMdA-assignments/lang/reader.rkt diff --git a/pkgs/deinprogramm/DMdA-beginner-reader.rkt b/pkgs/deinprogramm/deinprogramm/DMdA-beginner-reader.rkt similarity index 100% rename from pkgs/deinprogramm/DMdA-beginner-reader.rkt rename to pkgs/deinprogramm/deinprogramm/DMdA-beginner-reader.rkt diff --git a/pkgs/deinprogramm/DMdA-beginner.rkt b/pkgs/deinprogramm/deinprogramm/DMdA-beginner.rkt similarity index 100% rename from pkgs/deinprogramm/DMdA-beginner.rkt rename to pkgs/deinprogramm/deinprogramm/DMdA-beginner.rkt diff --git a/pkgs/deinprogramm/DMdA-beginner/lang/reader.rkt b/pkgs/deinprogramm/deinprogramm/DMdA-beginner/lang/reader.rkt similarity index 100% rename from pkgs/deinprogramm/DMdA-beginner/lang/reader.rkt rename to pkgs/deinprogramm/deinprogramm/DMdA-beginner/lang/reader.rkt diff --git a/pkgs/deinprogramm/DMdA-deflam.rkt b/pkgs/deinprogramm/deinprogramm/DMdA-deflam.rkt similarity index 100% rename from pkgs/deinprogramm/DMdA-deflam.rkt rename to pkgs/deinprogramm/deinprogramm/DMdA-deflam.rkt diff --git a/pkgs/deinprogramm/DMdA-reader.rkt b/pkgs/deinprogramm/deinprogramm/DMdA-reader.rkt similarity index 100% rename from pkgs/deinprogramm/DMdA-reader.rkt rename to pkgs/deinprogramm/deinprogramm/DMdA-reader.rkt diff --git a/pkgs/deinprogramm/DMdA-vanilla-reader.rkt b/pkgs/deinprogramm/deinprogramm/DMdA-vanilla-reader.rkt similarity index 100% rename from pkgs/deinprogramm/DMdA-vanilla-reader.rkt rename to pkgs/deinprogramm/deinprogramm/DMdA-vanilla-reader.rkt diff --git a/pkgs/deinprogramm/DMdA-vanilla.rkt b/pkgs/deinprogramm/deinprogramm/DMdA-vanilla.rkt similarity index 100% rename from pkgs/deinprogramm/DMdA-vanilla.rkt rename to pkgs/deinprogramm/deinprogramm/DMdA-vanilla.rkt diff --git a/pkgs/deinprogramm/DMdA-vanilla/lang/reader.rkt b/pkgs/deinprogramm/deinprogramm/DMdA-vanilla/lang/reader.rkt similarity index 100% rename from pkgs/deinprogramm/DMdA-vanilla/lang/reader.rkt rename to pkgs/deinprogramm/deinprogramm/DMdA-vanilla/lang/reader.rkt diff --git a/pkgs/deinprogramm/DMdA.rkt b/pkgs/deinprogramm/deinprogramm/DMdA.rkt similarity index 100% rename from pkgs/deinprogramm/DMdA.rkt rename to pkgs/deinprogramm/deinprogramm/DMdA.rkt diff --git a/pkgs/deinprogramm/DMdA/lang/reader.rkt b/pkgs/deinprogramm/deinprogramm/DMdA/lang/reader.rkt similarity index 100% rename from pkgs/deinprogramm/DMdA/lang/reader.rkt rename to pkgs/deinprogramm/deinprogramm/DMdA/lang/reader.rkt diff --git a/pkgs/deinprogramm/convert-explicit.rkt b/pkgs/deinprogramm/deinprogramm/convert-explicit.rkt similarity index 100% rename from pkgs/deinprogramm/convert-explicit.rkt rename to pkgs/deinprogramm/deinprogramm/convert-explicit.rkt diff --git a/pkgs/deinprogramm/convert-explicit.scm b/pkgs/deinprogramm/deinprogramm/convert-explicit.scm similarity index 100% rename from pkgs/deinprogramm/convert-explicit.scm rename to pkgs/deinprogramm/deinprogramm/convert-explicit.scm diff --git a/pkgs/deinprogramm/define-record-procedures.rkt b/pkgs/deinprogramm/deinprogramm/define-record-procedures.rkt similarity index 100% rename from pkgs/deinprogramm/define-record-procedures.rkt rename to pkgs/deinprogramm/deinprogramm/define-record-procedures.rkt diff --git a/pkgs/deinprogramm/define-record-procedures.scm b/pkgs/deinprogramm/deinprogramm/define-record-procedures.scm similarity index 100% rename from pkgs/deinprogramm/define-record-procedures.scm rename to pkgs/deinprogramm/deinprogramm/define-record-procedures.scm diff --git a/pkgs/deinprogramm/deinprogramm-langs.rkt b/pkgs/deinprogramm/deinprogramm/deinprogramm-langs.rkt similarity index 100% rename from pkgs/deinprogramm/deinprogramm-langs.rkt rename to pkgs/deinprogramm/deinprogramm/deinprogramm-langs.rkt diff --git a/pkgs/deinprogramm/image.rkt b/pkgs/deinprogramm/deinprogramm/image.rkt similarity index 100% rename from pkgs/deinprogramm/image.rkt rename to pkgs/deinprogramm/deinprogramm/image.rkt diff --git a/pkgs/deinprogramm/deinprogramm/info.rkt b/pkgs/deinprogramm/deinprogramm/info.rkt new file mode 100644 index 0000000000..8502adc98d --- /dev/null +++ b/pkgs/deinprogramm/deinprogramm/info.rkt @@ -0,0 +1,25 @@ +#lang info + +(define name "DeinProgramm") + +(define tools '("deinprogramm-langs.rkt")) + +(define tool-icons '(("logo-small.png" "deinprogramm"))) +(define tool-names '("DeinProgramm")) +(define tool-urls '("http://www.deinprogramm.de/dmda/")) + +(define compile-omit-files + '("define-record-procedures.scm" + "convert-explicit.scm" + "line3d.scm")) + +(define get-textbook-pls + '("textbook-pls-spec.rkt" textbook-pls)) +(define build-deps '("rackunit-lib" + "racket-doc" + "at-exp-lib" + "scribble-lib")) + +(define pkg-desc "Teaching languages for _Die Macht der Abstraktion_") + +(define pkg-authors '(sperber)) diff --git a/pkgs/deinprogramm/line3d.rkt b/pkgs/deinprogramm/deinprogramm/line3d.rkt similarity index 100% rename from pkgs/deinprogramm/line3d.rkt rename to pkgs/deinprogramm/deinprogramm/line3d.rkt diff --git a/pkgs/deinprogramm/line3d.scm b/pkgs/deinprogramm/deinprogramm/line3d.scm similarity index 100% rename from pkgs/deinprogramm/line3d.scm rename to pkgs/deinprogramm/deinprogramm/line3d.scm diff --git a/pkgs/deinprogramm/logo-small.png b/pkgs/deinprogramm/deinprogramm/logo-small.png similarity index 100% rename from pkgs/deinprogramm/logo-small.png rename to pkgs/deinprogramm/deinprogramm/logo-small.png diff --git a/pkgs/deinprogramm/quickcheck/info.rkt b/pkgs/deinprogramm/deinprogramm/quickcheck/info.rkt similarity index 100% rename from pkgs/deinprogramm/quickcheck/info.rkt rename to pkgs/deinprogramm/deinprogramm/quickcheck/info.rkt diff --git a/pkgs/deinprogramm/quickcheck/quickcheck.rkt b/pkgs/deinprogramm/deinprogramm/quickcheck/quickcheck.rkt similarity index 100% rename from pkgs/deinprogramm/quickcheck/quickcheck.rkt rename to pkgs/deinprogramm/deinprogramm/quickcheck/quickcheck.rkt diff --git a/pkgs/deinprogramm/quickcheck/quickcheck.scm b/pkgs/deinprogramm/deinprogramm/quickcheck/quickcheck.scm similarity index 100% rename from pkgs/deinprogramm/quickcheck/quickcheck.scm rename to pkgs/deinprogramm/deinprogramm/quickcheck/quickcheck.scm diff --git a/pkgs/deinprogramm/quickcheck/random.rkt b/pkgs/deinprogramm/deinprogramm/quickcheck/random.rkt similarity index 100% rename from pkgs/deinprogramm/quickcheck/random.rkt rename to pkgs/deinprogramm/deinprogramm/quickcheck/random.rkt diff --git a/pkgs/deinprogramm/quickcheck/random.scm b/pkgs/deinprogramm/deinprogramm/quickcheck/random.scm similarity index 100% rename from pkgs/deinprogramm/quickcheck/random.scm rename to pkgs/deinprogramm/deinprogramm/quickcheck/random.scm diff --git a/pkgs/deinprogramm/run-dmda-code.rkt b/pkgs/deinprogramm/deinprogramm/run-dmda-code.rkt similarity index 100% rename from pkgs/deinprogramm/run-dmda-code.rkt rename to pkgs/deinprogramm/deinprogramm/run-dmda-code.rkt diff --git a/pkgs/deinprogramm/scribblings/DMdA-advanced.scrbl b/pkgs/deinprogramm/deinprogramm/scribblings/DMdA-advanced.scrbl similarity index 100% rename from pkgs/deinprogramm/scribblings/DMdA-advanced.scrbl rename to pkgs/deinprogramm/deinprogramm/scribblings/DMdA-advanced.scrbl diff --git a/pkgs/deinprogramm/scribblings/DMdA-assignments.scrbl b/pkgs/deinprogramm/deinprogramm/scribblings/DMdA-assignments.scrbl similarity index 100% rename from pkgs/deinprogramm/scribblings/DMdA-assignments.scrbl rename to pkgs/deinprogramm/deinprogramm/scribblings/DMdA-assignments.scrbl diff --git a/pkgs/deinprogramm/scribblings/DMdA-beginner.scrbl b/pkgs/deinprogramm/deinprogramm/scribblings/DMdA-beginner.scrbl similarity index 100% rename from pkgs/deinprogramm/scribblings/DMdA-beginner.scrbl rename to pkgs/deinprogramm/deinprogramm/scribblings/DMdA-beginner.scrbl diff --git a/pkgs/deinprogramm/scribblings/DMdA-lib.scrbl b/pkgs/deinprogramm/deinprogramm/scribblings/DMdA-lib.scrbl similarity index 100% rename from pkgs/deinprogramm/scribblings/DMdA-lib.scrbl rename to pkgs/deinprogramm/deinprogramm/scribblings/DMdA-lib.scrbl diff --git a/pkgs/deinprogramm/scribblings/DMdA-vanilla.scrbl b/pkgs/deinprogramm/deinprogramm/scribblings/DMdA-vanilla.scrbl similarity index 100% rename from pkgs/deinprogramm/scribblings/DMdA-vanilla.scrbl rename to pkgs/deinprogramm/deinprogramm/scribblings/DMdA-vanilla.scrbl diff --git a/pkgs/deinprogramm/scribblings/deinprogramm.scrbl b/pkgs/deinprogramm/deinprogramm/scribblings/deinprogramm.scrbl similarity index 100% rename from pkgs/deinprogramm/scribblings/deinprogramm.scrbl rename to pkgs/deinprogramm/deinprogramm/scribblings/deinprogramm.scrbl diff --git a/pkgs/deinprogramm/scribblings/image.scrbl b/pkgs/deinprogramm/deinprogramm/scribblings/image.scrbl similarity index 100% rename from pkgs/deinprogramm/scribblings/image.scrbl rename to pkgs/deinprogramm/deinprogramm/scribblings/image.scrbl diff --git a/pkgs/deinprogramm/scribblings/info.rkt b/pkgs/deinprogramm/deinprogramm/scribblings/info.rkt similarity index 100% rename from pkgs/deinprogramm/scribblings/info.rkt rename to pkgs/deinprogramm/deinprogramm/scribblings/info.rkt diff --git a/pkgs/deinprogramm/scribblings/ka-style.tex b/pkgs/deinprogramm/deinprogramm/scribblings/ka-style.tex similarity index 100% rename from pkgs/deinprogramm/scribblings/ka-style.tex rename to pkgs/deinprogramm/deinprogramm/scribblings/ka-style.tex diff --git a/pkgs/deinprogramm/scribblings/ka.scrbl b/pkgs/deinprogramm/deinprogramm/scribblings/ka.scrbl similarity index 100% rename from pkgs/deinprogramm/scribblings/ka.scrbl rename to pkgs/deinprogramm/deinprogramm/scribblings/ka.scrbl diff --git a/pkgs/deinprogramm/scribblings/line3d.scrbl b/pkgs/deinprogramm/deinprogramm/scribblings/line3d.scrbl similarity index 100% rename from pkgs/deinprogramm/scribblings/line3d.scrbl rename to pkgs/deinprogramm/deinprogramm/scribblings/line3d.scrbl diff --git a/pkgs/deinprogramm/scribblings/p1.jpg b/pkgs/deinprogramm/deinprogramm/scribblings/p1.jpg similarity index 100% rename from pkgs/deinprogramm/scribblings/p1.jpg rename to pkgs/deinprogramm/deinprogramm/scribblings/p1.jpg diff --git a/pkgs/deinprogramm/scribblings/p2.jpg b/pkgs/deinprogramm/deinprogramm/scribblings/p2.jpg similarity index 100% rename from pkgs/deinprogramm/scribblings/p2.jpg rename to pkgs/deinprogramm/deinprogramm/scribblings/p2.jpg diff --git a/pkgs/deinprogramm/scribblings/p3.jpg b/pkgs/deinprogramm/deinprogramm/scribblings/p3.jpg similarity index 100% rename from pkgs/deinprogramm/scribblings/p3.jpg rename to pkgs/deinprogramm/deinprogramm/scribblings/p3.jpg diff --git a/pkgs/deinprogramm/scribblings/p4.jpg b/pkgs/deinprogramm/deinprogramm/scribblings/p4.jpg similarity index 100% rename from pkgs/deinprogramm/scribblings/p4.jpg rename to pkgs/deinprogramm/deinprogramm/scribblings/p4.jpg diff --git a/pkgs/deinprogramm/scribblings/prim-ops.rkt b/pkgs/deinprogramm/deinprogramm/scribblings/prim-ops.rkt similarity index 100% rename from pkgs/deinprogramm/scribblings/prim-ops.rkt rename to pkgs/deinprogramm/deinprogramm/scribblings/prim-ops.rkt diff --git a/pkgs/deinprogramm/scribblings/shared.rkt b/pkgs/deinprogramm/deinprogramm/scribblings/shared.rkt similarity index 100% rename from pkgs/deinprogramm/scribblings/shared.rkt rename to pkgs/deinprogramm/deinprogramm/scribblings/shared.rkt diff --git a/pkgs/deinprogramm/scribblings/sound.scrbl b/pkgs/deinprogramm/deinprogramm/scribblings/sound.scrbl similarity index 100% rename from pkgs/deinprogramm/scribblings/sound.scrbl rename to pkgs/deinprogramm/deinprogramm/scribblings/sound.scrbl diff --git a/pkgs/deinprogramm/scribblings/std-grammar.rkt b/pkgs/deinprogramm/deinprogramm/scribblings/std-grammar.rkt similarity index 100% rename from pkgs/deinprogramm/scribblings/std-grammar.rkt rename to pkgs/deinprogramm/deinprogramm/scribblings/std-grammar.rkt diff --git a/pkgs/deinprogramm/scribblings/turtle.scrbl b/pkgs/deinprogramm/deinprogramm/scribblings/turtle.scrbl similarity index 100% rename from pkgs/deinprogramm/scribblings/turtle.scrbl rename to pkgs/deinprogramm/deinprogramm/scribblings/turtle.scrbl diff --git a/pkgs/deinprogramm/scribblings/world.scrbl b/pkgs/deinprogramm/deinprogramm/scribblings/world.scrbl similarity index 100% rename from pkgs/deinprogramm/scribblings/world.scrbl rename to pkgs/deinprogramm/deinprogramm/scribblings/world.scrbl diff --git a/pkgs/deinprogramm/signature/info.rkt b/pkgs/deinprogramm/deinprogramm/signature/info.rkt similarity index 100% rename from pkgs/deinprogramm/signature/info.rkt rename to pkgs/deinprogramm/deinprogramm/signature/info.rkt diff --git a/pkgs/deinprogramm/signature/module-begin.rkt b/pkgs/deinprogramm/deinprogramm/signature/module-begin.rkt similarity index 100% rename from pkgs/deinprogramm/signature/module-begin.rkt rename to pkgs/deinprogramm/deinprogramm/signature/module-begin.rkt diff --git a/pkgs/deinprogramm/signature/signature-english.rkt b/pkgs/deinprogramm/deinprogramm/signature/signature-english.rkt similarity index 100% rename from pkgs/deinprogramm/signature/signature-english.rkt rename to pkgs/deinprogramm/deinprogramm/signature/signature-english.rkt diff --git a/pkgs/deinprogramm/signature/signature-german.rkt b/pkgs/deinprogramm/deinprogramm/signature/signature-german.rkt similarity index 100% rename from pkgs/deinprogramm/signature/signature-german.rkt rename to pkgs/deinprogramm/deinprogramm/signature/signature-german.rkt diff --git a/pkgs/deinprogramm/signature/signature-syntax.rkt b/pkgs/deinprogramm/deinprogramm/signature/signature-syntax.rkt similarity index 100% rename from pkgs/deinprogramm/signature/signature-syntax.rkt rename to pkgs/deinprogramm/deinprogramm/signature/signature-syntax.rkt diff --git a/pkgs/deinprogramm/signature/signature-unit.rkt b/pkgs/deinprogramm/deinprogramm/signature/signature-unit.rkt similarity index 100% rename from pkgs/deinprogramm/signature/signature-unit.rkt rename to pkgs/deinprogramm/deinprogramm/signature/signature-unit.rkt diff --git a/pkgs/deinprogramm/signature/signature.rkt b/pkgs/deinprogramm/deinprogramm/signature/signature.rkt similarity index 100% rename from pkgs/deinprogramm/signature/signature.rkt rename to pkgs/deinprogramm/deinprogramm/signature/signature.rkt diff --git a/pkgs/deinprogramm/signature/tool.rkt b/pkgs/deinprogramm/deinprogramm/signature/tool.rkt similarity index 100% rename from pkgs/deinprogramm/signature/tool.rkt rename to pkgs/deinprogramm/deinprogramm/signature/tool.rkt diff --git a/pkgs/deinprogramm/syntax-checkers.rkt b/pkgs/deinprogramm/deinprogramm/syntax-checkers.rkt similarity index 100% rename from pkgs/deinprogramm/syntax-checkers.rkt rename to pkgs/deinprogramm/deinprogramm/syntax-checkers.rkt diff --git a/pkgs/deinprogramm/test-suite.rkt b/pkgs/deinprogramm/deinprogramm/test-suite.rkt similarity index 100% rename from pkgs/deinprogramm/test-suite.rkt rename to pkgs/deinprogramm/deinprogramm/test-suite.rkt diff --git a/pkgs/deinprogramm/tests/image.rkt b/pkgs/deinprogramm/deinprogramm/tests/image.rkt similarity index 100% rename from pkgs/deinprogramm/tests/image.rkt rename to pkgs/deinprogramm/deinprogramm/tests/image.rkt diff --git a/pkgs/deinprogramm/tests/run-image-test.rkt b/pkgs/deinprogramm/deinprogramm/tests/run-image-test.rkt similarity index 100% rename from pkgs/deinprogramm/tests/run-image-test.rkt rename to pkgs/deinprogramm/deinprogramm/tests/run-image-test.rkt diff --git a/pkgs/deinprogramm/tests/run-signature-tests.rkt b/pkgs/deinprogramm/deinprogramm/tests/run-signature-tests.rkt similarity index 100% rename from pkgs/deinprogramm/tests/run-signature-tests.rkt rename to pkgs/deinprogramm/deinprogramm/tests/run-signature-tests.rkt diff --git a/pkgs/deinprogramm/tests/signature.rkt b/pkgs/deinprogramm/deinprogramm/tests/signature.rkt similarity index 100% rename from pkgs/deinprogramm/tests/signature.rkt rename to pkgs/deinprogramm/deinprogramm/tests/signature.rkt diff --git a/pkgs/deinprogramm/tests/test-docs-complete.rkt b/pkgs/deinprogramm/deinprogramm/tests/test-docs-complete.rkt similarity index 100% rename from pkgs/deinprogramm/tests/test-docs-complete.rkt rename to pkgs/deinprogramm/deinprogramm/tests/test-docs-complete.rkt diff --git a/pkgs/deinprogramm/textbook-pls-spec.rkt b/pkgs/deinprogramm/deinprogramm/textbook-pls-spec.rkt similarity index 100% rename from pkgs/deinprogramm/textbook-pls-spec.rkt rename to pkgs/deinprogramm/deinprogramm/textbook-pls-spec.rkt diff --git a/pkgs/deinprogramm/turtle.rkt b/pkgs/deinprogramm/deinprogramm/turtle.rkt similarity index 100% rename from pkgs/deinprogramm/turtle.rkt rename to pkgs/deinprogramm/deinprogramm/turtle.rkt diff --git a/pkgs/deinprogramm/world.rkt b/pkgs/deinprogramm/deinprogramm/world.rkt similarity index 100% rename from pkgs/deinprogramm/world.rkt rename to pkgs/deinprogramm/deinprogramm/world.rkt diff --git a/pkgs/deinprogramm/info.rkt b/pkgs/deinprogramm/info.rkt index fc4333ba33..51238d566c 100644 --- a/pkgs/deinprogramm/info.rkt +++ b/pkgs/deinprogramm/info.rkt @@ -1,6 +1,5 @@ #lang info - -(define collection "deinprogramm") +(define collection 'multi) (define deps '("scheme-lib" "base" @@ -15,26 +14,8 @@ "drracket" "htdp")) -(define name "DeinProgramm") - -(define tools '("deinprogramm-langs.rkt")) - -(define tool-icons '(("logo-small.png" "deinprogramm"))) -(define tool-names '("DeinProgramm")) -(define tool-urls '("http://www.deinprogramm.de/dmda/")) - -(define compile-omit-files - '("define-record-procedures.scm" - "convert-explicit.scm" - "line3d.scm")) - -(define get-textbook-pls - '("textbook-pls-spec.rkt" textbook-pls)) -(define build-deps '("rackunit-lib" - "racket-doc" - "at-exp-lib" - "scribble-lib")) - -(define pkg-desc "Teaching languages for _Die Macht der Abstraktion_") - -(define pkg-authors '(sperber)) +(define build-deps + '("at-exp-lib" + "racket-doc" + "rackunit-lib" + "scribble-lib")) \ No newline at end of file diff --git a/pkgs/htdp-pkgs/htdp-lib/teachpack/deinprogramm/image.ss b/pkgs/deinprogramm/teachpack/deinprogramm/image.ss similarity index 100% rename from pkgs/htdp-pkgs/htdp-lib/teachpack/deinprogramm/image.ss rename to pkgs/deinprogramm/teachpack/deinprogramm/image.ss diff --git a/pkgs/htdp-pkgs/htdp-lib/teachpack/deinprogramm/image2.ss b/pkgs/deinprogramm/teachpack/deinprogramm/image2.ss similarity index 100% rename from pkgs/htdp-pkgs/htdp-lib/teachpack/deinprogramm/image2.ss rename to pkgs/deinprogramm/teachpack/deinprogramm/image2.ss diff --git a/pkgs/htdp-pkgs/htdp-lib/teachpack/deinprogramm/line3d.ss b/pkgs/deinprogramm/teachpack/deinprogramm/line3d.ss similarity index 100% rename from pkgs/htdp-pkgs/htdp-lib/teachpack/deinprogramm/line3d.ss rename to pkgs/deinprogramm/teachpack/deinprogramm/line3d.ss diff --git a/pkgs/htdp-pkgs/htdp-lib/teachpack/deinprogramm/sound.ss b/pkgs/deinprogramm/teachpack/deinprogramm/sound.ss similarity index 100% rename from pkgs/htdp-pkgs/htdp-lib/teachpack/deinprogramm/sound.ss rename to pkgs/deinprogramm/teachpack/deinprogramm/sound.ss diff --git a/pkgs/htdp-pkgs/htdp-lib/teachpack/deinprogramm/turtle.ss b/pkgs/deinprogramm/teachpack/deinprogramm/turtle.ss similarity index 100% rename from pkgs/htdp-pkgs/htdp-lib/teachpack/deinprogramm/turtle.ss rename to pkgs/deinprogramm/teachpack/deinprogramm/turtle.ss diff --git a/pkgs/htdp-pkgs/htdp-lib/teachpack/deinprogramm/universe.ss b/pkgs/deinprogramm/teachpack/deinprogramm/universe.ss similarity index 100% rename from pkgs/htdp-pkgs/htdp-lib/teachpack/deinprogramm/universe.ss rename to pkgs/deinprogramm/teachpack/deinprogramm/universe.ss diff --git a/pkgs/htdp-pkgs/htdp-lib/teachpack/deinprogramm/world.ss b/pkgs/deinprogramm/teachpack/deinprogramm/world.ss similarity index 100% rename from pkgs/htdp-pkgs/htdp-lib/teachpack/deinprogramm/world.ss rename to pkgs/deinprogramm/teachpack/deinprogramm/world.ss