From f710abcb4055306318f67c5c73e4785b441f1a19 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Sat, 23 Aug 2008 19:17:31 +0000 Subject: [PATCH] ... --- helm/software/ocamlbuild.sh | 118 +----------------------------------- 1 file changed, 2 insertions(+), 116 deletions(-) diff --git a/helm/software/ocamlbuild.sh b/helm/software/ocamlbuild.sh index 965f165d0..a8aa84a7a 100755 --- 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 -- 2.39.2