[Lunar-commits] <moonbase> camlp5: introduction to moonbase

Michael 'v4hn' Goerner v4hn at lunar-linux.org
Mon Aug 29 14:02:28 CEST 2011


commit d539f45623c9940b9ca4fddc8595374d23fbb648
Author: Michael 'v4hn' Goerner <v4hn at lunar-linux.org>
Date:   Mon Aug 29 14:02:28 2011 +0200

    camlp5: introduction to moonbase
---
 compilers/camlp5/BUILD     |    8 ++++++++
 compilers/camlp5/CONFIGURE |    3 +++
 compilers/camlp5/DEPENDS   |    1 +
 compilers/camlp5/DETAILS   |   12 ++++++++++++
 4 files changed, 24 insertions(+), 0 deletions(-)

diff --git a/compilers/camlp5/BUILD b/compilers/camlp5/BUILD
new file mode 100644
index 0000000..f887c5d
--- /dev/null
+++ b/compilers/camlp5/BUILD
@@ -0,0 +1,8 @@
+(
+
+ ./configure -prefix /usr -mandir /usr/share/man/man1 $OPTS &&
+ make world.opt      &&
+ prepare_install &&
+ make install
+
+) > $C_FIFO 2>&1
diff --git a/compilers/camlp5/CONFIGURE b/compilers/camlp5/CONFIGURE
new file mode 100644
index 0000000..e3495a6
--- /dev/null
+++ b/compilers/camlp5/CONFIGURE
@@ -0,0 +1,3 @@
+mquery STRICT "use strict instead of transitional mode(say n to use with COQ)" n \
+	"--strict" \
+	"--transitional"
diff --git a/compilers/camlp5/DEPENDS b/compilers/camlp5/DEPENDS
new file mode 100644
index 0000000..8da72f2
--- /dev/null
+++ b/compilers/camlp5/DEPENDS
@@ -0,0 +1 @@
+depends ocaml
diff --git a/compilers/camlp5/DETAILS b/compilers/camlp5/DETAILS
new file mode 100644
index 0000000..3daaaab
--- /dev/null
+++ b/compilers/camlp5/DETAILS
@@ -0,0 +1,12 @@
+          MODULE=camlp5
+         VERSION=6.02.3
+          SOURCE=$MODULE-$VERSION.tgz
+      SOURCE_URL=http://pauillac.inria.fr/~ddr/camlp5/distrib/src/
+      SOURCE_VFY=sha1:eb0f4f9ade52c2c1e972d61b334bcf01fea76dfc
+        WEB_SITE=http://pauillac.inria.fr/~ddr/camlp5/
+         ENTERED=20110829
+         UPDATED=20110829
+           SHORT="Camlp5 is a preprocessor-pretty-printer of OCaml."
+cat << EOF
+Camlp5 is a preprocessor-pretty-printer of OCaml.
+EOF


More information about the Lunar-commits mailing list