helm/software/ocamlbuild.sh

   1 CAML=/usr/lib/ocaml/3.10.1
   2
   3 echo CLEAN
   4 ocamlbuild.native -clean
   5 echo SYNTAX-EXTENSIONS
   6 ocamlbuild.native $V \
   7         -cflags -I,$CAML/camlp5 \
   8         -lflags -I,$CAML/camlp5/ \
   9         -pp camlp5o,q_MLast.cmo,pa_extend.cmo,-loc,loc \
  10         components/syntax_extensions/pa_unicode_macro.cma
  11 echo GLADE
  12 lablgladecc2 -embed matita/matita.glade > matita/matitaGeneratedGui.ml
  13 echo MATITA
  14 ocamlbuild.native \
  15         -pp camlp5o,-I,$CAML/ulex08 \
  16         -pp -I,$PWD/_build/components/syntax_extensions/ \
  17         -pp pa_extend.cmo,pa_ulex.cma,pa_unicode_macro.cma,-loc,loc \
  18         -I components/acic_content\
  19         -I components/acic_procedural\
  20         -I components/cic\
  21         -I components/cic_acic\
  22         -I components/cic_disambiguation\
  23         -I components/cic_disambiguation/doc\
  24         -I components/cic_disambiguation/tests\
  25         -I components/cic_exportation\
  26         -I components/cic_proof_checking\
  27         -I components/cic_proof_checking/doc\
  28         -I components/cic_unification\
  29         -I components/content_pres\
  30         -I components/extlib\
  31         -I components/getter\
  32         -I components/grafite\
  33         -I components/grafite_engine\
  34         -I components/grafite_parser\
  35         -I components/hgdome\
  36         -I components/hmysql\
  37         -I components/lexicon\
  38         -I components/library\
  39         -I components/logger\
  40         -I components/metadata\
  41         -I components/registry\
  42         -I components/registry/tests\
  43         -I components/syntax_extensions\
  44         -I components/syntax_extensions/data\
  45         -I components/tactics\
  46         -I components/tactics/paramodulation\
  47         -I components/thread\
  48         -I components/thread/fake\
  49         -I components/tptp_grafite\
  50         -I components/urimanager\
  51         -I components/whelp\
  52         -I components/xml\
  53         -I components/xmldiff\
  54         -I matita \
  55         -cflags -I,$CAML/ \
  56         -cflags -I,$CAML/camlp5 \
  57         -cflags -I,$CAML/expat \
  58         -cflags -I,$CAML/gdome2 \
  59         -cflags -I,$CAML/http \
  60         -cflags -I,$CAML/lablgtk2 \
  61         -cflags -I,$CAML/lablgtk2 \
  62         -cflags -I,$CAML/lablgtkmathview \
  63         -cflags -I,$CAML/mysql \
  64         -cflags -I,$CAML/netstring \
  65         -cflags -I,$CAML/netstring \
  66         -cflags -I,$CAML/pcre \
  67         -cflags -I,$CAML/sqlite3 \
  68         -cflags -I,$CAML/ulex08 \
  69         -cflags -I,$CAML/zip \
  70         -lflags $CAML/unix.cma \
  71         -lflags $CAML/camlp5/camlp5.cma \
  72         -lflags $CAML/pcre/pcre.cma \
  73         -lflags $CAML/sqlite3/sqlite3.cma \
  74         -lflags $CAML/expat/expat.cma \
  75         -lflags $CAML/gdome2/gdomeInit.cmo \
  76         -lflags $CAML/gdome2/mlgdome.cma \
  77         -lflags $CAML/gdome2/mlogdome.cma \
  78         -lflags $CAML/pcre/pcre.cma \
  79         -lflags $CAML/netsys/netsys.cma \
  80         -lflags $CAML/netstring/netstring.cma \
  81         -lflags $CAML/threads/threads.cma \
  82         -lflags $CAML/netstring/netstring_mt.cmo \
  83         -lflags $CAML/netstring/netaccel.cma \
  84         -lflags $CAML/netstring/netaccel_link.cmo \
  85         -lflags $CAML/http/http_mt.cma \
  86         -lflags $CAML/lablgtk2/lablgtk.cma \
  87         -lflags $CAML/lablgtk2/gtkThread.cmo \
  88         -lflags $CAML/lablgtk2/lablgtk.cma\
  89         -lflags $CAML/lablgtk2/lablgtksourceview.cma \
  90         -lflags $CAML/lablgtk2/lablglade.cma \
  91         -lflags $CAML/gdome2/gdomeInit.cmo \
  92         -lflags $CAML/gdome2/mlgdome.cma \
  93         -lflags $CAML/gdome2/mlogdome.cma \
  94         -lflags $CAML/lablgtk2/lablgtk.cma \
  95         -lflags $CAML/lablgtk2/gtkThread.cmo \
  96         -lflags $CAML/lablgtkmathview/lablgtkmathview.cma \
  97         -lflags $CAML/mysql/mysql.cma \
  98         -lflags $CAML/pcre/pcre.cma \
  99         -lflags $CAML/netsys/netsys.cma \
 100         -lflags $CAML/netstring/netstring.cma \
 101         -lflags $CAML/netstring/netstring_mt.cmo \
 102         -lflags $CAML/netstring/netaccel.cma \
 103         -lflags $CAML/netstring/netaccel_link.cmo \
 104         -lflags $CAML/ulex08/ulexing.cma \
 105         -lflags $CAML/str.cma \
 106         -lflags $CAML/zip/zip.cma \
 107         -lflags $CAML/pcre/pcre.cma \
 108         -lflags $CAML/netsys/netsys.cma \
 109         -lflags $CAML/netstring/netstring.cma \
 110         -lflags $CAML/netstring/netstring_mt.cmo \
 111         -lflags $CAML/netstring/netaccel.cma \
 112         -lflags $CAML/netstring/netaccel_link.cmo \
 113         -cflags -rectypes -cflags -thread \
 114         -j 3 \
 115         matita/matita.byte matita/matitac.byte
 116