aboutsummaryrefslogtreecommitdiff
path: root/configure
AgeCommit message (Expand)Author
2000-11-28Un == non reconnu sous alphadelahaye
2000-11-24Paramètrage de ocamldebug-v7 par configure à partir d'un 'template'herbelin
2000-11-24- coqc: utilise le meilleur coq possiblefilliatr
2000-11-20Prise en compte camlp4.opt dans la configuration et le Makefileherbelin
2000-11-15-opt ne remplace plus camlp4 par camlp4o.opt car on ne peut pasfilliatr
2000-11-11Prise en compte camlp4.opt dans la configuration et le Makefileherbelin
2000-11-08nouveau load pathfilliatr
2000-11-08tous les binaires maintenant dans le repertoire binfilliatr
2000-11-03compilation avec make de Solaris; README et INSTALLfilliatr
2000-07-05Adaptation pour alpha.delahaye
2000-06-27Retrait du 'strip' en cas de profilingherbelin
2000-05-03compilation bytecode / native :filliatr
2000-01-26lorsque ocamlc est donne a la main, alors ocamlopt est positionne avecfilliatr
1999-12-11mise en place des outilsfilliatr
1999-12-10 - erreurs Pretypefilliatr
1999-12-06Ajout option spéciale PPCherbelin
1999-12-03bug make_strength reparefilliatr
1999-12-03modules profile, Coqinit et Coqtop (=main)filliatr
1999-09-18module Libraryfilliatr
1999-08-18suppression de l'option -nowarning qui n'est pas sainefilliatr
1999-08-17module Closurefilliatr
1999-08-16Initial revisionfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-11 14:58:56 +0000