Initial commit, again

README.md

@@ -0,0 +1 @@
+[OPAM](http://github.com/OCamlPro/opam) repository

packages/aac_tactics.0.4/descr

@@ -0,0 +1 @@
+Rewriting modulo AC tactics

packages/aac_tactics.0.4/opam

@@ -0,0 +1,7 @@
+opam-version: "1.1" 
+maintainer: "thomas.braibant@gmail.com"
+build: [
+  [make]
+  [make "install"]
+]
+depends: ["coq" {>= "8.4.2"}]

packages/aac_tactics.0.4/url

@@ -0,0 +1 @@
+archive: "http://gallium.inria.fr/~braibant/aac_tactics/aac_tactics.0.4.tgz"

packages/compcert.2.0/descr

@@ -0,0 +1 @@
+The CompCert C compiler version 2.0 (June 2013)

packages/compcert.2.0/opam

@@ -0,0 +1,8 @@
+opam-version: "1.1" 
+maintainer: "thomas.braibant@gmail.com"
+build: [
+  [make]
+  [make "install"]
+]
+
+depends: [ "coq" {= "8.4.2"}]

packages/compcert.2.0/url

@@ -0,0 +1 @@
+archive: "http://compcert.inria.fr/release/compcert-2.0.tgz"

packages/containers.2010/cpam

@@ -0,0 +1,7 @@
+cpam-version: "1" 
+maintainer: "thomas.braibant@gmail.com"
+build: [
+  ["make"]
+  ["make" "install"]
+]
+ocaml-version: [= "8.4.pl2"]

packages/containers.2010/descr

@@ -0,0 +1,2 @@
+Containers implemented using type-classes
+

packages/containers.2010/url

@@ -0,0 +1 @@
+archive: "http://coq.inria.fr/pylons/contribs/files/Containers/v8.4/Containers.tar.gz"

packages/coq.8.4.2+mtac/files/configure.patch

@@ -0,0 +1,33 @@
+--- coq.8.4.2/configure	2013-04-04 15:13:27.000000000 +0200
++++ coq.8.4.2/configure	2013-08-19 10:06:53.354192793 +0200
+@@ -521,16 +521,22 @@
+ 	    echo "Configuration script failed!"
+ 	    exit 1
+ 	fi
+-    elif [ -f "${CAMLLIB}/camlp5/${CAMLP4MOD}.cma" ]; then
+-        CAMLP4LIB=+camlp5
+-	FULLCAMLP4LIB=${CAMLLIB}/camlp5
+-    elif [ -f "${CAMLLIB}/site-lib/${CAMLP4MOD}.cma" ]; then
++    else
++	camlp5dir="$(camlp5 -where)"
++ 	if [ "$camlp5dir" != "" ]; then
++	    CAMLP4LIB=$camlp5dir
++	    FULLCAMLP4LIB=$camlp5dir
++	elif [ -f "${CAMLLIB}/camlp5/${CAMLP4MOD}.cma" ]; then
++            CAMLP4LIB=+camlp5
++	    FULLCAMLP4LIB=${CAMLLIB}/camlp5
++	elif [ -f "${CAMLLIB}/site-lib/${CAMLP4MOD}.cma" ]; then
+         CAMLP4LIB=+site-lib/camlp5
+ 	FULLCAMLP4LIB=${CAMLLIB}/site-lib/camlp5
+-    else
+-	echo "No Camlp5 installation found. Looking for Camlp4 instead..."
+-	usecamlp5=no
+-    fi
++	else
++	    echo "No Camlp5 installation found. Looking for Camlp4 instead..."
++	    usecamlp5=no
++	fi
++   fi
+ esac
+
+ # If we're (still...) going to use Camlp5, let's check its version

packages/coq.8.4.2+mtac/files/coq.install

@@ -0,0 +1,13 @@
+bin: [
+  "bin/gallina"
+  "bin/coqwc"
+  "bin/coqtop.opt" {"coqtop"}
+  "bin/coqmktop.opt" {"coqmktop"}
+  "?bin/coqide.opt" {"coqide"}
+  "bin/coqdoc"
+  "bin/coqdep"
+  "bin/coqchk.opt" {"coqchk"}
+  "bin/coqc.opt" {"coqc"}
+  "bin/coq_makefile"
+  "bin/coq-tex"
+]