[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