aboutsummaryrefslogtreecommitdiffhomepage
path: root/configure
Commit message (Expand)AuthorAge
* Asks camlp5 binary in path its locationGravatar pboutill2013-11-03
* configure stript allows make v4.00Gravatar pboutill2013-11-03
* * configure: Remove trailing space.Gravatar regisgia2013-09-02
* Misc changes around coqtop.ml :Gravatar letouzey2013-08-22
* Change in vo format : digest aren't Marshalled anymoreGravatar letouzey2013-08-22
* New -no-native-compiler flag for configure, globally disabling the nativeGravatar mdenes2013-02-24
* Revert "remove -rectypes except for term.ml"Gravatar mdenes2013-01-22
* Add an option -nodoc to configure, same (but shorter) than -with-doc noGravatar letouzey2012-11-12
* Cygwin gcc do not accept -mno-cygwin anymoreGravatar pboutill2012-10-17
* Taking into account that ocamlfind might find a package w/o the filesGravatar herbelin2012-10-17
* Turn mltop.ml4 into a regular ocaml fileGravatar letouzey2012-10-06
* remove -rectypes except for term.mlGravatar letouzey2012-10-06
* Repair the configure after Hugo's last "repair" ;-)Gravatar letouzey2012-10-05
* Repaired configure damaged in r15748 for those bash users which haveGravatar herbelin2012-10-04
* Suggest to use clean rather than archclean before recompiling.Gravatar herbelin2012-10-04
* MacOS integration uses lablgtkosx >= 1.1Gravatar pboutill2012-09-17
* A few fixes in configure file:Gravatar herbelin2012-09-05
* No need anymore to refer to COQLIB in ocamldebug-coqGravatar letouzey2012-08-23
* Configure + Makefile : simplification when -localGravatar letouzey2012-08-23
* configure: get rid of the -src option and of ${COQSRC}Gravatar letouzey2012-08-23
* configure: no more need for ocamlmktopGravatar letouzey2012-08-23
* Simpler configure: gcc via ocamlc, no ranlib (done by ocamlmklib)Gravatar letouzey2012-08-23
* Port from 8.4 branch some build fixes concerning win32 :Gravatar letouzey2012-08-23
* Bug 2861 : ocamlopt but no lablgtk2.cmxa problemGravatar pboutill2012-08-10
* configure: two minor fixes for win32Gravatar letouzey2012-08-07
* Coq should compile with Ocaml4 and/or lablgtk installed with ocamlfindGravatar pboutill2012-07-12
* configure: camlp4 is now tried when camlp5 isn't foundGravatar letouzey2012-05-23
* configure: add support of MinGW Win32 environment (fix #2526)Gravatar letouzey2012-05-23
* Coqide: make some paths win32-compliantGravatar letouzey2012-05-16
* Makefile: Really avoid locales in $(DATE)Gravatar letouzey2012-05-15
* Tentative and very experminental support for typerex. Enabled withGravatar aspiwack2012-05-11
* Configure asks for lablgtk >= 2.12 with gtksourceview2Gravatar pboutill2012-04-27
* Coqide MacOS integration refreshGravatar pboutill2012-04-27
* Browser documentation & CharSet under WindowsGravatar pboutill2012-04-13
* lib directory is cut in 2 cma.Gravatar pboutill2012-04-12
* - changing minimal version for OCaml: Coq uses Filename.dirsep that is availa...Gravatar notin2012-02-20
* Bug 2676: ./configure --prefix shoudn't ask for a config directory.Gravatar pboutill2012-01-16
* Configure: the backslashes in win32 paths should be escapedGravatar letouzey2011-12-23
* ./configure & freedesktopGravatar pboutill2011-12-18
* coqide default pref files are by default in /etc/xdg/coq/Gravatar pboutill2011-11-21
* Patch to support (a priori) all versions of make 3.xx >= 3.81Gravatar herbelin2011-10-12
* In Coq_config: get rid of coqsrc and make coqlib optionalGravatar glondu2011-09-27
* default install location under cygwin is the unix defaultGravatar pboutill2011-07-07
* Revert "Coqide now need lablgtk2.14.0" + Ide build system debuggingGravatar pboutill2011-06-14
* Coqide now need lablgtk2.14.0Gravatar pboutill2011-06-11
* Coqide Menubar integration in MacOSGravatar pboutill2011-06-10
* coqtop -config returns coq returns coq environments at exection timeGravatar pboutill2011-04-28
* Coqide: a special kill function for win32Gravatar letouzey2011-04-21
* Macos integration step2 : shutdownGravatar pboutill2011-04-08
* Fix compilation with camlp5 (Closes: #2487)Gravatar glondu2011-01-25