mkdir -p /home/pauillac/cristal/quercia/include
cp -p    lib/kernel/long_int.h lib/common/c-long_int.h /home/pauillac/cristal/quercia/include
mkdir -p /home/pauillac/cristal/quercia/lib
cp -p    lib/common/libcnumx.a /home/pauillac/cristal/quercia/lib
mkdir -p /home/pauillac/cristal/quercia/lib
cp -p  lib/camllight/clong.zi lib/camllight/infclong.zi lib/camllight/big.zi lib/camllight/infbig.zi lib/camllight/numerix.zo lib/common/libclnumx.a lib/camllight/camlnumx /home/pauillac/cristal/quercia/lib
mkdir -p /home/pauillac/cristal/quercia/lib
cp -p lib/common/libmlnumx.a lib/ocaml/numerix.cma lib/ocaml/numerix.cmxa lib/ocaml/numerix.a lib/ocaml/numerix.cmi lib/ocaml/numcount.cmi lib/ocaml/numcmp.cmi /home/pauillac/cristal/quercia/lib
mkdir -p /home/pauillac/cristal/quercia/bin
cp -p lib/ocaml/ocamlnumx /home/pauillac/cristal/quercia/bin
