diff options
| author | Michel Mauny <Michel.Mauny@ensta.fr> | 2003-08-25 13:52:00 +0000 |
|---|---|---|
| committer | Michel Mauny <Michel.Mauny@ensta.fr> | 2003-08-25 13:52:00 +0000 |
| commit | 0503b7e027800fb21181a47b65f048293cc39ba3 (patch) | |
| tree | 6223cbaf91ff603a02b834f664872ddf1e00bb9a | |
| parent | cf757d7c9e5013cca8d57c0e23afca5c2e519e4c (diff) | |
Restored lines of codes that I accidently suppressed. -- michel
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5801 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rwxr-xr-x | camlp4/etc/mkcamlp4.sh.tpl | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/camlp4/etc/mkcamlp4.sh.tpl b/camlp4/etc/mkcamlp4.sh.tpl index 00ae41fbd..649399833 100755 --- a/camlp4/etc/mkcamlp4.sh.tpl +++ b/camlp4/etc/mkcamlp4.sh.tpl @@ -22,3 +22,12 @@ while test "" != "$1"; do esac shift done + +CRC=crc_$$ +set -e +trap 'rm -f $CRC.ml $CRC.cmi $CRC.cmo' 0 2 +$OLIB/extract_crc -I $OLIB $INCL $INTERFACES > $CRC.ml +echo "let _ = Dynlink.add_available_units crc_unit_list" >> $CRC.ml +ocamlc -I $LIB odyl.cma camlp4.cma $CRC.ml $INCL $OPTS odyl.cmo -linkall +rm -f $CRC.ml $CRC.cmi $CRC.cmo + |