Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

dependencies for ocamlnet; add back coq and framac 

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12849 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Damien Doligez 2012-08-09 19:58:08 +00:00
parent 065ed361ee
commit be767e3b99
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
testsuite/external/Makefile vendored
View File

@ -755,7 +755,7 @@ all: vsyml
OCAMLNET=ocamlnet-3.5.1 OCAMLNET=ocamlnet-3.5.1
${OCAMLNET}.tar.gz: ${OCAMLNET}.tar.gz:
${WGET} http://download.camlcity.org/download/$@ ${WGET} http://download.camlcity.org/download/$@
ocamlnet: ${OCAMLNET}.tar.gz findlib pcre ocamlnet: ${OCAMLNET}.tar.gz findlib pcre lablgtk ocamlssl camlzip cryptokit
printf "%s " "$@" >/dev/tty printf "%s " "$@" >/dev/tty
test -d ${PREFIX} test -d ${PREFIX}
rm -rf ${OCAMLNET} rm -rf ${OCAMLNET}
@ -1177,7 +1177,7 @@ clean::
rm -rf ${COQ} coq rm -rf ${COQ} coq
distclean:: distclean::
rm -f ${COQ}.tar.gz rm -f ${COQ}.tar.gz
#all: coq all: coq
# http://frama-c.com/ # http://frama-c.com/
FRAMAC=frama-c-Nitrogen-20111001 FRAMAC=frama-c-Nitrogen-20111001
@ -1200,7 +1200,7 @@ clean::
rm -rf ${FRAMAC} framac rm -rf ${FRAMAC} framac
distclean:: distclean::
rm -f ${FRAMAC}.tar.gz rm -f ${FRAMAC}.tar.gz
#all: framac all: framac
################################################################## ##################################################################
### Template for new entries ### Template for new entries