index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
configure
Commit message (
Expand
)
Author
Age
*
Merge PR#729: Fixing an inconsistency between configure and configure.ml
Maxime Dénès
2017-06-23
|
\
*
|
configure: avoid deprecated warnings
Pierre Letouzey
2017-06-04
|
*
Fixing an inconsistency between configure and configure.ml.
Hugo Herbelin
2017-06-04
|
/
*
configure.ml: our configure script is now written in ML :-)
Pierre Letouzey
2013-12-20
*
Fix make install after 3e972b3ff8e532be233f70567c87512324c99b4e
Pierre Boutillier
2013-12-17
*
configure: typo in my last commit
Pierre Letouzey
2013-11-23
*
configure: improve last fix
Pierre Letouzey
2013-11-22
*
configure: CAML_LD_LIBRARY_PATH is enriched, not overwritten
Pierre Letouzey
2013-11-21
*
configure: fix some issues with last commit
Pierre Letouzey
2013-11-21
*
Fix various \r issues with windows
Jason Gross
2013-11-21
*
Asks camlp5 binary in path its location
pboutill
2013-11-03
*
configure stript allows make v4.00
pboutill
2013-11-03
*
* configure: Remove trailing space.
regisgia
2013-09-02
*
Misc changes around coqtop.ml :
letouzey
2013-08-22
*
Change in vo format : digest aren't Marshalled anymore
letouzey
2013-08-22
*
New -no-native-compiler flag for configure, globally disabling the native
mdenes
2013-02-24
*
Revert "remove -rectypes except for term.ml"
mdenes
2013-01-22
*
Add an option -nodoc to configure, same (but shorter) than -with-doc no
letouzey
2012-11-12
*
Cygwin gcc do not accept -mno-cygwin anymore
pboutill
2012-10-17
*
Taking into account that ocamlfind might find a package w/o the files
herbelin
2012-10-17
*
Turn mltop.ml4 into a regular ocaml file
letouzey
2012-10-06
*
remove -rectypes except for term.ml
letouzey
2012-10-06
*
Repair the configure after Hugo's last "repair" ;-)
letouzey
2012-10-05
*
Repaired configure damaged in r15748 for those bash users which have
herbelin
2012-10-04
*
Suggest to use clean rather than archclean before recompiling.
herbelin
2012-10-04
*
MacOS integration uses lablgtkosx >= 1.1
pboutill
2012-09-17
*
A few fixes in configure file:
herbelin
2012-09-05
*
No need anymore to refer to COQLIB in ocamldebug-coq
letouzey
2012-08-23
*
Configure + Makefile : simplification when -local
letouzey
2012-08-23
*
configure: get rid of the -src option and of ${COQSRC}
letouzey
2012-08-23
*
configure: no more need for ocamlmktop
letouzey
2012-08-23
*
Simpler configure: gcc via ocamlc, no ranlib (done by ocamlmklib)
letouzey
2012-08-23
*
Port from 8.4 branch some build fixes concerning win32 :
letouzey
2012-08-23
*
Bug 2861 : ocamlopt but no lablgtk2.cmxa problem
pboutill
2012-08-10
*
configure: two minor fixes for win32
letouzey
2012-08-07
*
Coq should compile with Ocaml4 and/or lablgtk installed with ocamlfind
pboutill
2012-07-12
*
configure: camlp4 is now tried when camlp5 isn't found
letouzey
2012-05-23
*
configure: add support of MinGW Win32 environment (fix #2526)
letouzey
2012-05-23
*
Coqide: make some paths win32-compliant
letouzey
2012-05-16
*
Makefile: Really avoid locales in $(DATE)
letouzey
2012-05-15
*
Tentative and very experminental support for typerex. Enabled with
aspiwack
2012-05-11
*
Configure asks for lablgtk >= 2.12 with gtksourceview2
pboutill
2012-04-27
*
Coqide MacOS integration refresh
pboutill
2012-04-27
*
Browser documentation & CharSet under Windows
pboutill
2012-04-13
*
lib directory is cut in 2 cma.
pboutill
2012-04-12
*
- changing minimal version for OCaml: Coq uses Filename.dirsep that is availa...
notin
2012-02-20
*
Bug 2676: ./configure --prefix shoudn't ask for a config directory.
pboutill
2012-01-16
*
Configure: the backslashes in win32 paths should be escaped
letouzey
2011-12-23
*
./configure & freedesktop
pboutill
2011-12-18
*
coqide default pref files are by default in /etc/xdg/coq/
pboutill
2011-11-21
[next]