Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

add compcert to the test suite

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13484 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  • Loading branch information...
commit e2eacb06cdc9599f2ab699a5b552477d5da368ed 1 parent 1eda2af
Damien Doligez authored
Showing with 24 additions and 0 deletions.
  1. +2 −0  testsuite/external/.ignore
  2. +22 −0 testsuite/external/Makefile
2  testsuite/external/.ignore
View
@@ -27,6 +27,8 @@ camomile
camomile-0.8.4
comparelib
comparelib-109.09.00
+compcert
+compcert-1.13
configfile
config-file-1.1
coq
22 testsuite/external/Makefile
View
@@ -1418,6 +1418,28 @@ distclean::
rm -f ${COQ}.tar.gz
all: coq
+# http://compcert.inria.fr
+COMPCERT=compcert-1.13
+${COMPCERT}.tgz:
+ ${WGET} http://compcert.inria.fr/release/$@
+compcert: ${COMPCERT}.tgz coq #bitstring FIXME
+ printf "%s " "$@" >/dev/tty
+ test -d ${PREFIX}
+ rm -rf ${COMPCERT}
+ tar zxf ${COMPCERT}.tgz
+ ./Patcher.sh ${COMPCERT}
+ ( cd ${COMPCERT} && \
+ export PATH=${PREFIX}/bin:$$PATH && \
+ sh ./configure -prefix ${PREFIX} ia32-macosx && \
+ ${MAKE} all && \
+ ${MAKE} install )
+ echo ${VERSION} >$@
+clean::
+ rm -rf ${COMPCERT} compcert
+distclean::
+ rm -f ${COMPCERT}.tgz
+all: compcert
+
# http://frama-c.com/
FRAMAC=frama-c-Oxygen-20120901
${FRAMAC}.tar.gz:
Please sign in to comment.
Something went wrong with that request. Please try again.