...

diff --git a/helm/software/ocamlbuild.sh b/helm/software/ocamlbuild.sh
index 965f165d02e54ec31b34bf3cac170fbf33e3d455..a8aa84a7a4631d78233444a03358ec633a1894d9 100755 (executable)
--- a/helm/software/ocamlbuild.sh
+++ b/helm/software/ocamlbuild.sh
@@ -1,116 +1,2 @@
-CAML=/usr/lib/ocaml/3.10.1
-
-echo CLEAN
-ocamlbuild.native -clean
-echo SYNTAX-EXTENSIONS
-ocamlbuild.native $V \
-       -cflags -I,$CAML/camlp5 \
-       -lflags -I,$CAML/camlp5/ \
-       -pp camlp5o,q_MLast.cmo,pa_extend.cmo,-loc,loc \
-       components/syntax_extensions/pa_unicode_macro.cma
-echo GLADE
-lablgladecc2 -embed matita/matita.glade > matita/matitaGeneratedGui.ml
-echo MATITA
-ocamlbuild.native \
-       -pp camlp5o,-I,$CAML/ulex08 \
-       -pp -I,$PWD/_build/components/syntax_extensions/ \
-       -pp pa_extend.cmo,pa_ulex.cma,pa_unicode_macro.cma,-loc,loc \
-       -I components/acic_content\
-       -I components/acic_procedural\
-       -I components/cic\
-       -I components/cic_acic\
-       -I components/cic_disambiguation\
-       -I components/cic_disambiguation/doc\
-       -I components/cic_disambiguation/tests\
-       -I components/cic_exportation\
-       -I components/cic_proof_checking\
-       -I components/cic_proof_checking/doc\
-       -I components/cic_unification\
-       -I components/content_pres\
-       -I components/extlib\
-       -I components/getter\
-       -I components/grafite\
-       -I components/grafite_engine\
-       -I components/grafite_parser\
-       -I components/hgdome\
-       -I components/hmysql\
-       -I components/lexicon\
-       -I components/library\
-       -I components/logger\
-       -I components/metadata\
-       -I components/registry\
-       -I components/registry/tests\
-       -I components/syntax_extensions\
-       -I components/syntax_extensions/data\
-       -I components/tactics\
-       -I components/tactics/paramodulation\
-       -I components/thread\
-       -I components/thread/fake\
-       -I components/tptp_grafite\
-       -I components/urimanager\
-       -I components/whelp\
-       -I components/xml\
-       -I components/xmldiff\
-       -I matita \
-       -cflags -I,$CAML/ \
-       -cflags -I,$CAML/camlp5 \
-       -cflags -I,$CAML/expat \
-       -cflags -I,$CAML/gdome2 \
-       -cflags -I,$CAML/http \
-       -cflags -I,$CAML/lablgtk2 \
-       -cflags -I,$CAML/lablgtk2 \
-       -cflags -I,$CAML/lablgtkmathview \
-       -cflags -I,$CAML/mysql \
-       -cflags -I,$CAML/netstring \
-       -cflags -I,$CAML/netstring \
-       -cflags -I,$CAML/pcre \
-       -cflags -I,$CAML/sqlite3 \
-       -cflags -I,$CAML/ulex08 \
-       -cflags -I,$CAML/zip \
-       -lflags $CAML/unix.cma \
-       -lflags $CAML/camlp5/camlp5.cma \
-       -lflags $CAML/pcre/pcre.cma \
-       -lflags $CAML/sqlite3/sqlite3.cma \
-       -lflags $CAML/expat/expat.cma \
-       -lflags $CAML/gdome2/gdomeInit.cmo \
-       -lflags $CAML/gdome2/mlgdome.cma \
-       -lflags $CAML/gdome2/mlogdome.cma \
-       -lflags $CAML/pcre/pcre.cma \
-       -lflags $CAML/netsys/netsys.cma \
-       -lflags $CAML/netstring/netstring.cma \
-       -lflags $CAML/threads/threads.cma \
-       -lflags $CAML/netstring/netstring_mt.cmo \
-       -lflags $CAML/netstring/netaccel.cma \
-       -lflags $CAML/netstring/netaccel_link.cmo \
-       -lflags $CAML/http/http_mt.cma \
-       -lflags $CAML/lablgtk2/lablgtk.cma \
-       -lflags $CAML/lablgtk2/gtkThread.cmo \
-       -lflags $CAML/lablgtk2/lablgtk.cma\
-       -lflags $CAML/lablgtk2/lablgtksourceview.cma \
-       -lflags $CAML/lablgtk2/lablglade.cma \
-       -lflags $CAML/gdome2/gdomeInit.cmo \
-       -lflags $CAML/gdome2/mlgdome.cma \
-       -lflags $CAML/gdome2/mlogdome.cma \
-       -lflags $CAML/lablgtk2/lablgtk.cma \
-       -lflags $CAML/lablgtk2/gtkThread.cmo \
-       -lflags $CAML/lablgtkmathview/lablgtkmathview.cma \
-       -lflags $CAML/mysql/mysql.cma \
-       -lflags $CAML/pcre/pcre.cma \
-       -lflags $CAML/netsys/netsys.cma \
-       -lflags $CAML/netstring/netstring.cma \
-       -lflags $CAML/netstring/netstring_mt.cmo \
-       -lflags $CAML/netstring/netaccel.cma \
-       -lflags $CAML/netstring/netaccel_link.cmo \
-       -lflags $CAML/ulex08/ulexing.cma \
-       -lflags $CAML/str.cma \
-       -lflags $CAML/zip/zip.cma \
-       -lflags $CAML/pcre/pcre.cma \
-       -lflags $CAML/netsys/netsys.cma \
-       -lflags $CAML/netstring/netstring.cma \
-       -lflags $CAML/netstring/netstring_mt.cmo \
-       -lflags $CAML/netstring/netaccel.cma \
-       -lflags $CAML/netstring/netaccel_link.cmo \
-       -cflags -rectypes -cflags -thread \
-       -j 3 \
-       matita/matita.byte matita/matitac.byte
-
+ocamlbuild components/syntax_extensions/pa_unicode_macro.cma
+ocamlbuild -j 4 matita/matita.native