ocamlbuild : a missing include for camlp4

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/branches/v8.4@15739 85f007b7-540e-0410-9357-904b9bb8a0f7
build script: correct exit code when ocamlbuild fails

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/branches/v8.4@15740 85f007b7-540e-0410-9357-904b9bb8a0f7
update VERSION

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/branches/v8.4@15741 85f007b7-540e-0410-9357-904b9bb8a0f7
v8.4: A few fixes in configure file:
- Fixing parsing of option -custom
- More precise documentation of which option expects an argument
- Deprecation of obviously obsolete -emacs option

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/branches/v8.4@15774 85f007b7-540e-0410-9357-904b9bb8a0f7
v8.4: Fixed bug #2895

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/branches/v8.4@15786 85f007b7-540e-0410-9357-904b9bb8a0f7
v8.4: When asked for a SearchAbout request, Coq now returns a more precise
name, that is, a pair of a smart qualified name and the missing
prefix needed to recover the full path.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/branches/v8.4@15789 85f007b7-540e-0410-9357-904b9bb8a0f7
v8.4: Fixed #2893.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/branches/v8.4@15791 85f007b7-540e-0410-9357-904b9bb8a0f7
Fix coqide compilation with lablgtk 2.16 (backports)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/branches/v8.4@15816 85f007b7-540e-0410-9357-904b9bb8a0f7
v8.4: Fixing Show Script issues.

Author: Daniel de Rauglaudre

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/branches/v8.4@15822 85f007b7-540e-0410-9357-904b9bb8a0f7
Fix use of $(HASNATDYNLINK) in coq_makefile output

Generated makefiles were broken because
  $(if ifeq '$(HASNATDYNLINK)' 'true',X)
always returns X.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/branches/v8.4@15825 85f007b7-540e-0410-9357-904b9bb8a0f7
v8.4: Fixing #2865.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/branches/v8.4@15829 85f007b7-540e-0410-9357-904b9bb8a0f7
Paragraph about the deprecated "Implicit Arguments" command.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/branches/v8.4@15884 85f007b7-540e-0410-9357-904b9bb8a0f7
v8.4: Removed dead code about linking Module names in coqdoc.
Code was probably unused since scan_file made obsolete in r11024.
See also r12890.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/branches/v8.4@15894 85f007b7-540e-0410-9357-904b9bb8a0f7
v8.4: Fixing coqdoc index bugs introduced in r14624 and r15053.
Revision r14624 introduced bug #2709 on duplicate entries in index and
our tentative fix of it in r15053 mixed up names of files and names of
constants in index (see P. Castéran's report on coqdev and bug #2914).
[This combines r15885 and r15195 in trunk]

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/branches/v8.4@15895 85f007b7-540e-0410-9357-904b9bb8a0f7
v8.4: Taking into account that ocamlfind might find a package w/o the
files needed for compiling being present. Do the check by
hand. Incidentally improved reporting messages.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/branches/v8.4@15900 85f007b7-540e-0410-9357-904b9bb8a0f7
v8.4: Removed mention of configure's option -nowarning in INSTALL file.
This option had actually never been released (it only existed for 2
days long in August 1999).

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/branches/v8.4@15902 85f007b7-540e-0410-9357-904b9bb8a0f7
Cygwin gcc do not accept -mno-cygwin anymore

As far as I understand, the standard gcc in cygwin is not able anymore to build
non cygwin executable. There is instead a special package with a special gcc that
compiles executable that can be used out of cygwin.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/branches/v8.4@15910 85f007b7-540e-0410-9357-904b9bb8a0f7
Do not install libcoqrun.so if compiled with -custom

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/branches/v8.4@15911 85f007b7-540e-0410-9357-904b9bb8a0f7
Coq_makefile fixups (r15820 in trunk)

 - put %.cmxs rule from %.cmxa before the one from %.cmx.
 - erase \r in included output of commands for windows

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/branches/v8.4@15912 85f007b7-540e-0410-9357-904b9bb8a0f7
Coqdoc: fix --utf8 bug for pretty printing (r15782 in trunk)

Author: Francois Ripault <francois.ripault@epita.fr>

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/branches/v8.4@15913 85f007b7-540e-0410-9357-904b9bb8a0f7