passage des fichiers de config sous LGPL
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2683 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02master
parent
b328a6a414
commit
e6343bfb44
2
LICENSE
2
LICENSE
|
@ -2,7 +2,7 @@ All files marked "Copyright INRIA" in the following directories and
|
|||
their sub-directories are distributed under the terms of the GNU
|
||||
Library General Public License (included below):
|
||||
|
||||
asmrun, byterun, maccaml, otherlibs, stdlib
|
||||
asmrun, byterun, config, maccaml, otherlibs, stdlib
|
||||
|
||||
All files marked "Copyright INRIA" in the other directories and their
|
||||
sub-directories are distributed under the terms of the Q Public
|
||||
|
|
|
@ -6,7 +6,7 @@
|
|||
# #
|
||||
# Copyright 1999 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. #
|
||||
# under the terms of the GNU Library General Public License. #
|
||||
# #
|
||||
#########################################################################
|
||||
|
||||
|
|
|
@ -6,7 +6,7 @@
|
|||
# #
|
||||
# Copyright 1999 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. #
|
||||
# under the terms of the GNU Library General Public License. #
|
||||
# #
|
||||
#########################################################################
|
||||
|
||||
|
|
|
@ -6,7 +6,7 @@
|
|||
/* */
|
||||
/* Copyright 1996 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. */
|
||||
/* under the terms of the GNU Library General Public License. */
|
||||
/* */
|
||||
/***********************************************************************/
|
||||
|
||||
|
|
|
@ -6,7 +6,7 @@
|
|||
/* */
|
||||
/* Copyright 1997 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. */
|
||||
/* under the terms of the GNU Library General Public License. */
|
||||
/* */
|
||||
/***********************************************************************/
|
||||
|
||||
|
|
|
@ -6,7 +6,7 @@
|
|||
/* */
|
||||
/* Copyright 1996 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. */
|
||||
/* under the terms of the GNU Library General Public License. */
|
||||
/* */
|
||||
/***********************************************************************/
|
||||
|
||||
|
|
|
@ -6,7 +6,7 @@
|
|||
/* */
|
||||
/* Copyright 1996 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. */
|
||||
/* under the terms of the GNU Library General Public License. */
|
||||
/* */
|
||||
/***********************************************************************/
|
||||
|
||||
|
|
|
@ -6,7 +6,7 @@
|
|||
/* */
|
||||
/* Copyright 1996 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. */
|
||||
/* under the terms of the GNU Library General Public License. */
|
||||
/* */
|
||||
/***********************************************************************/
|
||||
|
||||
|
|
|
@ -6,7 +6,7 @@
|
|||
/* */
|
||||
/* Copyright 1999 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. */
|
||||
/* under the terms of the GNU Library General Public License. */
|
||||
/* */
|
||||
/***********************************************************************/
|
||||
|
||||
|
|
|
@ -6,7 +6,7 @@
|
|||
/* */
|
||||
/* Copyright 1996 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. */
|
||||
/* under the terms of the GNU Library General Public License. */
|
||||
/* */
|
||||
/***********************************************************************/
|
||||
|
||||
|
|
|
@ -6,7 +6,7 @@
|
|||
/* */
|
||||
/* Copyright 1996 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. */
|
||||
/* under the terms of the GNU Library General Public License. */
|
||||
/* */
|
||||
/***********************************************************************/
|
||||
|
||||
|
|
|
@ -6,7 +6,7 @@
|
|||
/* */
|
||||
/* Copyright 1996 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. */
|
||||
/* under the terms of the GNU Library General Public License. */
|
||||
/* */
|
||||
/***********************************************************************/
|
||||
|
||||
|
|
|
@ -6,7 +6,7 @@
|
|||
/* */
|
||||
/* Copyright 1996 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. */
|
||||
/* under the terms of the GNU Library General Public License. */
|
||||
/* */
|
||||
/***********************************************************************/
|
||||
|
||||
|
|
|
@ -6,7 +6,7 @@
|
|||
/* */
|
||||
/* Copyright 1996 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. */
|
||||
/* under the terms of the GNU Library General Public License. */
|
||||
/* */
|
||||
/***********************************************************************/
|
||||
|
||||
|
|
|
@ -6,7 +6,7 @@
|
|||
/* */
|
||||
/* Copyright 1996 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. */
|
||||
/* under the terms of the GNU Library General Public License. */
|
||||
/* */
|
||||
/***********************************************************************/
|
||||
|
||||
|
|
|
@ -6,7 +6,7 @@
|
|||
/* */
|
||||
/* Copyright 1996 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. */
|
||||
/* under the terms of the GNU Library General Public License. */
|
||||
/* */
|
||||
/***********************************************************************/
|
||||
|
||||
|
|
|
@ -6,7 +6,7 @@
|
|||
# #
|
||||
# Copyright 1999 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. #
|
||||
# under the terms of the GNU Library General Public License. #
|
||||
# #
|
||||
#########################################################################
|
||||
|
||||
|
@ -53,7 +53,7 @@ set -e NATIVECC MrC
|
|||
############# Version numbers (do not change)
|
||||
|
||||
set -e OCAMLMAJOR 2
|
||||
set -e OCAMLMINOR 03
|
||||
set -e OCAMLMINOR 04
|
||||
set -e MAJOR 1
|
||||
set -e MINOR 0
|
||||
set -e STAGE a
|
||||
|
|
|
@ -6,7 +6,7 @@
|
|||
/* */
|
||||
/* Copyright 1996 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. */
|
||||
/* under the terms of the GNU Library General Public License. */
|
||||
/* */
|
||||
/***********************************************************************/
|
||||
|
||||
|
|
|
@ -6,7 +6,7 @@
|
|||
/* */
|
||||
/* Copyright 1996 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. */
|
||||
/* under the terms of the GNU Library General Public License. */
|
||||
/* */
|
||||
/***********************************************************************/
|
||||
|
||||
|
|
|
@ -6,7 +6,7 @@
|
|||
/* */
|
||||
/* Copyright 1996 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. */
|
||||
/* under the terms of the GNU Library General Public License. */
|
||||
/* */
|
||||
/***********************************************************************/
|
||||
|
||||
|
|
|
@ -6,7 +6,7 @@
|
|||
/* */
|
||||
/* Copyright 1996 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. */
|
||||
/* under the terms of the GNU Library General Public License. */
|
||||
/* */
|
||||
/***********************************************************************/
|
||||
|
||||
|
|
|
@ -6,7 +6,7 @@
|
|||
/* */
|
||||
/* Copyright 1996 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. */
|
||||
/* under the terms of the GNU Library General Public License. */
|
||||
/* */
|
||||
/***********************************************************************/
|
||||
|
||||
|
|
|
@ -1,16 +1,16 @@
|
|||
#! /bin/sh
|
||||
|
||||
#*********************************************************************#
|
||||
# #
|
||||
# Objective Caml #
|
||||
# #
|
||||
# Xavier Leroy, projet Cristal, INRIA Rocquencourt #
|
||||
# #
|
||||
# Copyright 1995 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. #
|
||||
# #
|
||||
#*********************************************************************#
|
||||
#########################################################################
|
||||
# #
|
||||
# Objective Caml #
|
||||
# #
|
||||
# Xavier Leroy, projet Cristal, INRIA Rocquencourt #
|
||||
# #
|
||||
# Copyright 1999 Institut National de Recherche en Informatique et #
|
||||
# en Automatique. All rights reserved. This file is distributed #
|
||||
# under the terms of the GNU Library General Public License. #
|
||||
# #
|
||||
#########################################################################
|
||||
|
||||
# $Id$
|
||||
|
||||
|
@ -30,6 +30,8 @@ tk_libs=''
|
|||
posix_threads=no
|
||||
verbose=no
|
||||
|
||||
gcc_warnings="-Wall -Wno-unused"
|
||||
|
||||
# Parse command-line arguments
|
||||
|
||||
while : ; do
|
||||
|
@ -175,22 +177,22 @@ bytecclinkopts=""
|
|||
case "$bytecc,$host" in
|
||||
cc,*-*-nextstep*)
|
||||
# GNU C extensions disabled, but __GNUC__ still defined!
|
||||
bytecccompopts="-fno-defer-pop -Wall -U__GNUC__ -posix"
|
||||
bytecccompopts="-fno-defer-pop $gcc_warnings -U__GNUC__ -posix"
|
||||
bytecclinkopts="-posix";;
|
||||
cc,*-*-rhapsody*)
|
||||
# Almost the same as NeXTStep
|
||||
bytecccompopts="-fno-defer-pop -Wall -DSHRINKED_GNUC"
|
||||
bytecccompopts="-fno-defer-pop $gcc_warnings -DSHRINKED_GNUC"
|
||||
mathlib="";;
|
||||
*,*-*-beos*)
|
||||
bytecccompopts="-fno-defer-pop -Wall"
|
||||
bytecccompopts="-fno-defer-pop $gcc_warnings"
|
||||
# No -lm library
|
||||
mathlib="";;
|
||||
gcc,alpha-*-osf*)
|
||||
bytecccompopts="-fno-defer-pop -Wall"
|
||||
bytecccompopts="-fno-defer-pop $gcc_warnings"
|
||||
# -taso puts code in lower 4GB
|
||||
bytecclinkopts="-Xlinker -taso";;
|
||||
gcc*)
|
||||
bytecccompopts="-fno-defer-pop -Wall";;
|
||||
bytecccompopts="-fno-defer-pop $gcc_warnings";;
|
||||
cc,mips-*-irix6*)
|
||||
# Add -n32 flag to ensure compatibility with native-code compiler
|
||||
bytecccompopts="-n32"
|
||||
|
@ -334,10 +336,10 @@ case "$arch,$nativecc,$system" in
|
|||
alpha,cc*,digital) nativecccompopts=-std1;;
|
||||
mips,cc*,irix) nativecccompopts=-n32
|
||||
nativecclinkopts="-n32 -Wl,-woff,84";;
|
||||
*,*,nextstep) nativecccompopts="-Wall -U__GNUC__ -posix"
|
||||
*,*,nextstep) nativecccompopts="$gcc_warnings -U__GNUC__ -posix"
|
||||
nativecclinkopts="-posix";;
|
||||
*,*,rhapsody) nativecccompopts="-Wall -DSHRINKED_GNUC";;
|
||||
*,gcc*,*) nativecccompopts=-Wall;;
|
||||
*,*,rhapsody) nativecccompopts="$gcc_warnings -DSHRINKED_GNUC";;
|
||||
*,gcc*,*) nativecccompopts="$gcc_warnings";;
|
||||
esac
|
||||
|
||||
asflags=''
|
||||
|
@ -941,4 +943,4 @@ echo " options for compiling .... $tk_defs"
|
|||
echo " options for linking ...... $tk_libs"
|
||||
else
|
||||
echo "The \"labltk\" library: configuration failed"
|
||||
fi
|
||||
fi
|
||||
|
|
Loading…
Reference in New Issue