Commit 8ce06229 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Little fixes.

parent 69f772f7
...@@ -27,14 +27,16 @@ MYOCAMLDEP := $(PWD)/generator/myocamldep.native ...@@ -27,14 +27,16 @@ MYOCAMLDEP := $(PWD)/generator/myocamldep.native
install: all install: all
rm -rf $(PREFIX) rm -rf $(PREFIX)
mkdir -p $(PREFIX)/bin $(PREFIX)/lib $(PREFIX)/camllib
# Copy the executable. # Copy the executable.
mkdir -p $(PREFIX)/bin
cp generator/main.native $(PREFIX)/bin/cfml cp generator/main.native $(PREFIX)/bin/cfml
# Copy the Coq theory. # Copy the Coq theory.
cp -r src $(PREFIX)/lib cp -r src $(PREFIX)/lib
cd $(PREFIX)/lib && rm -f Makefile *.v.d *.glob
# Copy the OCaml standard library (plus additions) and compile it. # Copy the OCaml standard library (plus additions) and compile it.
mkdir -p $(PREFIX)/camllib
cp -r $(MLI) $(PREFIX)/camllib cp -r $(MLI) $(PREFIX)/camllib
cp Makefile.camllib $(PREFIX)/camllib/Makefile cp Makefile.camllib $(PREFIX)/camllib/Makefile
make MAKECMJ=$(MAKECMJ) MYOCAMLDEP=$(MYOCAMLDEP) -C $(PREFIX)/camllib make MAKECMJ=$(MAKECMJ) MYOCAMLDEP=$(MYOCAMLDEP) -C $(PREFIX)/camllib
cd $(PREFIX)/camllib && rm .depend Makefile cd $(PREFIX)/camllib && rm -f .depend Makefile
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment