firs attempt to compile with ocamlbuild

diff --git a/helm/software/ocamlbuild.sh b/helm/software/ocamlbuild.sh
new file mode 100755 (executable)
index 0000000..965f165
--- /dev/null
+++ b/helm/software/ocamlbuild.sh
@@ -0,0 +1,116 @@
+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
+