diff options
Diffstat (limited to 'build/camlp4-bootstrap.sh')
| -rwxr-xr-x | build/camlp4-bootstrap.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/build/camlp4-bootstrap.sh b/build/camlp4-bootstrap.sh index ef9a93c01..612e060e9 100755 --- a/build/camlp4-bootstrap.sh +++ b/build/camlp4-bootstrap.sh @@ -1,5 +1,17 @@ #!/bin/sh +######################################################################### +# # +# OCaml # +# # +# Nicolas Pouillard, projet Gallium, INRIA Rocquencourt # +# # +# Copyright 2007 Institut National de Recherche en Informatique et # +# en Automatique. All rights reserved. This file is distributed # +# under the terms of the Q Public License version 1.0. # +# # +######################################################################### + # README: to bootstrap camlp4 have a look at build/camlp4-bootstrap-recipe.txt set -e |