diff options
| -rw-r--r-- | testsuite/external/.ignore | 2 | ||||
| -rw-r--r-- | testsuite/external/Makefile | 22 |
2 files changed, 24 insertions, 0 deletions
diff --git a/testsuite/external/.ignore b/testsuite/external/.ignore index 988bd58be..3ee940697 100644 --- a/testsuite/external/.ignore +++ b/testsuite/external/.ignore @@ -27,6 +27,8 @@ camomile camomile-0.8.4 comparelib comparelib-109.09.00 +compcert +compcert-1.13 configfile config-file-1.1 coq diff --git a/testsuite/external/Makefile b/testsuite/external/Makefile index 55bc4daed..4cdb3a5f7 100644 --- a/testsuite/external/Makefile +++ b/testsuite/external/Makefile @@ -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: |