Skip to content
Commits on Apr 12, 2012
  1. @pirbo

    lib directory is cut in 2 cma.

    pirbo committed Apr 12, 2012
     - Clib that does not depend on camlpX and is made to be shared by all coq
       tools/scripts/...
     - Lib that is Coqtop specific
    
    As a side effect for the build system :
     - Coq_config is in Clib and does not appears in makefiles
     - only the BEST version of coqc and coqmktop is made
     - ocamlbuild build system fails latter but is still broken
    
    (ocamldebug finds automatically Unix but not Str. I've probably done something wrong here.)
    
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15144 85f007b7-540e-0410-9357-904b9bb8a0f7
Commits on Feb 25, 2011
  1. Ocamlbuild needs OCAML_LD_LIBRARY_PATH (bug #2502)

    glondu committed Feb 25, 2011
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13857 85f007b7-540e-0410-9357-904b9bb8a0f7
Commits on Feb 26, 2010
  1. Some more adaptations for Debian-->mingw32

    letouzey committed Feb 26, 2010
     * Remove option -mwindows which isnt working : the GUI binary refuses to
       launch in a real windows.
    
     * simplification of ./build. New way of use :
        ./configure -prefix "" -arch win32 && ./build win32
       This way we avoid any tricks with coq_config.ml.
       It is also best to avoid ./configure -local otherwise Envars.coqbin ()
       will be wrong later.
    
     * Avoid creation of an ad-hoc coq_config in myocamlbuild.ml
    
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12819 85f007b7-540e-0410-9357-904b9bb8a0f7
Commits on Feb 25, 2010
  1. mingw32 cross-compilation: coqide.exe as a GUI program, nicer ./build…

    letouzey committed Feb 25, 2010
    … script
    
     we pass -mwindows to the mingw32 linker, this allows coqide.exe to be
     considered as a GUI windows program instead of as a console one.
    
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12814 85f007b7-540e-0410-9357-904b9bb8a0f7
Commits on Feb 24, 2010
  1. Win32 cross-compilation from debian: build of coqide.exe and other bi…

    letouzey committed Feb 24, 2010
    …naries
    
     Details will follow. In a word, we use a gtk+ win32 bundle from gtk.org
     to build some (unofficial) mingw32-liblablgtk2 debian packages. Then
      ./configure -local && ./build win32
     is enough to get all native win32 binaries and plugin cmxs from
     a confortable linux box.
    
     Next step: an auto-installer :-)
    
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12804 85f007b7-540e-0410-9357-904b9bb8a0f7
Commits on Feb 18, 2010
  1. Experimental build of coqtop.exe + plugins via cross-compilation linu…

    letouzey committed Feb 18, 2010
    …x-->win32
    
     Ideally, just install the cross-compiler (mingw32-ocaml on debian)
     and launch ./configure -local && ./build win32
    
     For the moment, this needs some twicking of mingw32-ocaml, plus
     a mingw32-camlp5 which is not yet distributed. If you want to play with
     that, contact me...
    
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12792 85f007b7-540e-0410-9357-904b9bb8a0f7
Commits on Jan 28, 2010
  1. Remove bashisms

    glondu committed Jan 28, 2010
    As pointed out by Nima Hoda, bash is not installed everywhere... and
    we really don't NEED bash anyway.
    
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12701 85f007b7-540e-0410-9357-904b9bb8a0f7
Commits on Apr 8, 2009
  1. Backport of Eric Le Lay's patch (bug report #2078) from v8.2 branch

    herbelin committed Apr 8, 2009
    (r12063) for smooth compilation/installation under Solaris (/bin/sh ->
    /bin/bash, -or -> -o in find, echo -n -> printf, ! in test rather than
    in if).
    
    
    
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12065 85f007b7-540e-0410-9357-904b9bb8a0f7
Commits on Apr 3, 2009
  1. Ocamlbuild: improvements suggested by N. Pouillard

    letouzey committed Apr 3, 2009
     * Import of Coq_config via myocamlbuild_config.ml, instead of my get_env
     * As a consequence, we enrich this Coq_config with stuff that was
       only in config/Makefile
     * replace the big ugly find by some dependencies against source files
     * by the way: build csdpcert, with the right aliases.
    
    I've tried to escape things properly for windows in ./configure,
    but this isn't fully tested yet.
    
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12046 85f007b7-540e-0410-9357-904b9bb8a0f7
Commits on Mar 24, 2009
  1. ocamlbuild improvements + minor makefile fix

    letouzey committed Mar 24, 2009
     * a small shell script ./build to drive ocamlbuild
     * rules for all the binaries (apart from coqide and coqchk)
     * use of ocamlbuild's Echo instead of using shell + sed + awk
       for generated files
     * Makefile: remove unused STAGE1_CMO and add bin/coqdep_boot to the
       list of things to "clean"
    
    git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12012 85f007b7-540e-0410-9357-904b9bb8a0f7
Something went wrong with that request. Please try again.