]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/Makefile.common.in
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
made executable again
[helm.git] / helm / ocaml / Makefile.common.in
2006-02-02 Stefano Zacchirolino more multiple configure/Makefile, just one for both... commit | commitdiff
2006-01-31 Andrea Aspertifixed ocamldep command line commit | commitdiff
2006-01-31 Enrico Tassifixed some depends commit | commitdiff
2006-01-31 Enrico Tassisome makefile work commit | commitdiff
2006-01-30 Enrico Tassifixed cmi:cm(x)a problem in makefiles commit | commitdiff
2006-01-26 Stefano Zacchiroliadded generation of KLOCs in dot diagrams commit | commitdiff
2006-01-12 Enrico Tassifixed commit | commitdiff
2005-11-24 Stefano Zacchiroliremoved the need of REQUIRES in libraries Makefile... commit | commitdiff
2005-09-27 Stefano Zacchiroliremoved .annot files (files containing type annotations... commit | commitdiff
2005-06-28 Stefano Zacchirolimoved discovery of METAS dir to configure.ac: script... commit | commitdiff
2005-06-22 Stefano Zacchiroliadded $(NULL) commit | commitdiff
2005-05-27 Stefano Zacchiroliadded %.annot rule to create type annotation files commit | commitdiff
2005-05-05 Stefano Zacchiroliadded test and test.opt targets commit | commitdiff
2004-10-14 Stefano Zacchirolifixed make dep command commit | commitdiff
2004-10-11 Stefano ZacchiroliAdded -syntax support (if needed, use OCAMLC_P4 instead... commit | commitdiff
2004-04-21 Stefano Zacchirolidetect and use {ocamlc,ocamlopt}.opt when they are... commit | commitdiff
2004-02-17 Stefano Zacchiroliadded hook for .cma link time options commit | commitdiff
2004-02-17 Claudio Sacerdoti... -linkall removed commit | commitdiff
2004-02-16 Stefano Zacchiroliadded ocamlinit target which creates a .ocamlinit file commit | commitdiff
2004-02-11 Stefano Zacchirolinew logger, getter, and the hell commit | commitdiff
2004-02-06 Stefano Zacchiroliadded -g flag to ocamlc per default commit | commitdiff
2004-01-27 Ferruccio Guidiempty goal patched commit | commitdiff
2004-01-23 Stefano Zacchiroliremoved useless -thread switch commit | commitdiff
2004-01-22 Stefano Zacchiroli- added -thread switch commit | commitdiff
2004-01-22 Stefano Zacchiroli- added backup target commit | commitdiff
2003-12-17 Ferruccio GuidiMakefiles patched commit | commitdiff
2003-12-16 Stefano Zacchiroliadded support for cic_textual_parser2 module commit | commitdiff
2003-06-19 Claudio Sacerdoti... Merge of the V7_3_new_exportation branch. commit | commitdiff
2002-05-22 Ferruccio Guidimathql package started commit | commitdiff
2002-01-29 Claudio Sacerdoti... Ported to ocaml-3.04. commit | commitdiff
2002-01-10 Claudio Sacerdoti... CIC Textual Parser added to the repository. commit | commitdiff
2001-12-03 Claudio Sacerdoti... Makefile improved: dependencies from libraries are... commit | commitdiff
2001-11-29 Claudio Sacerdoti... * .mli added where needed commit | commitdiff
Unnamed repository; edit this file 'description' to name the repository.