Commit Graph

646 Commits (master)

Author SHA1 Message Date
Sébastien Hinderer 04aa870b9b Define BYTERUN as a real make variable
This variable is used to give a value to standard_runtime in
utils/config.ml.

Before this commit, its values were hard-coded in Makefile and
Makefile.nt, in the rules generating utils/config.ml from utils/config.mlp.

This commit gets rid of this hardcoding, to prepare the sharing of the
rules mentionned above.
2017-02-15 10:24:09 +01:00
Xavier Leroy ab4e3beab1 Unix library: better API for "close-on-exec" over file descriptors (#650) 2017-02-13 18:05:19 +01:00
Leo White 709f5c7661 Use -fno-builtin-memcmp with gcc 2017-01-10 10:12:17 +00:00
Prashanth Mundkur eb9cda6491 Fix redundant configure clause for openbsd shared lib options (#945) 2016-12-28 14:55:40 +00:00
Gabriel Scherer d4cd072d4c Merge pull request #935 from ygrek/termux-build
allow build in termux
2016-12-23 16:53:24 -05:00
Sébastien Hinderer 68ad1bb923 Merge Unix and Windows build systems in the asmrun directory (#941)
* Merge Unix and Windows build systems in the asmrun directory

Changes in make variables:

  - Removal of the SHARED make variable, which had the same
    semantics than SUPPORTS_SHARED_LIBRARIES, the later having values true
    and false while the former had values shared and noshared.
    (SHARED was not defined on Windows)
  - RUNTIMED now takes values true and false rather than runtimed and
    noruntimed

* Do not use -O0 in asmrun's Makefile

* Add /asmrun/win32.c to .gitignore

* Build PIC libraries only under Unix

This makes things closer to what they were before, since PIC objects
were not built for Windows.
2016-12-20 16:54:20 +01:00
Stephen Dolan a35c6117e6 Instrumentation for american fuzzy lop (afl-fuzz) (#504) 2016-12-06 17:18:04 +01:00
Sébastien Hinderer 757fc5e6da Fix the definition of NATIVECCCOMPOPTS by configure 2016-12-05 16:00:21 +01:00
Bernhard Schommer 6022802ebf Allow -with-frame-pointers for clang under linux. (#887)
GPR#897: allow -with-frame-pointers for clang under linux.
2016-12-04 15:52:49 -05:00
Bernhard Schommer 73b76f80bd Test for ccfamily for preprocessed as. (#919)
GPR#919: Test for ccfamily for preprocessed as.
2016-12-04 10:23:45 -05:00
ygrek 33fa0a0a86 fixup! tweak hashbang test 2016-11-26 19:41:30 -08:00
ygrek f8d443ee47 tweak hashbang test 2016-11-26 16:40:23 -08:00
ygrek 751ba934bb find shell in PATH, do not assume /bin/sh exists 2016-11-26 15:39:59 -08:00
Sébastien Hinderer 54e6aecd77 Improve handling of platforms that do not have gprof profiling support (#933)
This commit modifies these two behaviours:

1. ``make install'' installs libraries with profiling support only when
this makes sense.

2. On platforms that do not support profiling with gprof, the -p option of
ocamlopt produces an error message.
On such platforms, ``make install'' was installing dummy profiling
libraries and ocamlopt's -p option was silently ignored.

In addition, this commit modifies the values of the PROFILING make
variable. Before the commit it was either prof or noprof. After the
commit it is either true or false.

In the asmrun directory, the call to ranlib for libasmrunp.a has also been
removed from the install target because this command is already invoked
in the rule that builds libasmrunp.a.

ocamlc/ocamlopt -config now prints the state of profiling support
2016-11-25 17:24:44 +01:00
Gabriel Scherer 0657fd8193 Revert "Improve handling of platforms that do not have gprof profiling support (#933)"
This reverts commit 8adfe15f18.

This is a temporary revert caused by Continuous Integration
failure. We'll investigate the issue and merge again when it is fixed.
2016-11-25 11:12:56 -05:00
Sébastien Hinderer 8adfe15f18 Improve handling of platforms that do not have gprof profiling support (#933)
This commit modifies these two behaviours:

1. ``make install'' installs libraries with profiling support only when
this makes sense.

2. On platforms that do not support profiling with gprof, the -p option of
ocamlopt produces an error message.
On such platforms, ``make install'' was installing dummy profiling
libraries and ocamlopt's -p option was silently ignored.

In addition, this commit modifies the values of the PROFILING make
variable. Before the commit it was either prof or noprof. After the
commit it is either true or false.

In the asmrun directory, the call to ranlib for libasmrunp.a has also been
removed from the install target because this command is already invoked
in the rule that builds libasmrunp.a.

ocamlc/ocamlopt -config now prints the state of profiling support
2016-11-25 15:57:14 +01:00
Armaël Guéneau 4c52779aad Improve the detection of hashbang support in the configure script
In particular, this adds support for systems where the `cat` binary isn't
located in /usr/bin/ or /bin/, but can be found using /usr/bin/env.
An example of such a system is NixOS (https://nixos.org).
2016-11-18 16:14:32 +01:00
Sébastien Hinderer 13945a71ed Do not use the compatibility macros in the C stub code. (#892)
* Don't use the compatibility macros, neither in the C stub code nor in the testsuite.

* Make sure compiler sources do not use deprecated C identifiers.

This is achieved by ensuring that the CAML_NAME_SPACE macro is defined
everytime a C source file is compiled, rather than being defined only
in a few places. Defining this macro guarantees that the compatibility.h
header (where these deprecated identifiers are defined) will not be
included.
2016-11-17 11:03:09 +01:00
Sébastien Hinderer 3e81da2234 Clarify and slightly modify the use of C compiler related make variables.
Before this commit, there was no distinction between the options
used to compile C source files coming with the OCaml distribution
and third-party C source files compiled by calling ocamlc or ocamlopt.

This commit makes it possible to use options when compiling C source
files that come with OCaml without imposing these options to the compilation
of third-party code.

More specifically, the options in the BYTECCCOMPOPTS and NATIVECCCOMPOPTS
variables are not passed to the C compiler when called by ocamlc and
ocamlopt any longer.

This commit also documents the role of each concerned variable.

In addition:

- On Unix:
  * The -Wall and -Werror options are no longer passed to the C
    compiler by ocamlc and ocamlopt for third-party C source files

- For the MinGW port:
  * The -O option has been removed from the SHAREDCCCOMPOPTS variable
  * The -Wall and -Wno-unused options are no longer passed to the C
    compiler by ocamlc and ocamlopt for third-party C source files

- For the msvc port: the
  * The -Ox option has been removed from the SHAREDCCCOMPOPTS variable.
  * The -Wall and -Wno-unused options are no longer passed to the C
    compiler by ocamlc and ocamlopt for third-party C source files
2016-11-16 08:44:47 +01:00
Sébastien Hinderer 4fc73c6333 Remove unused variable from the build system
The DLLCCCOMPOPTS variable is defined in the makefiles but is not
actually used anywhere.
2016-11-10 16:17:39 +01:00
Damien Doligez b4f2b4818f PR#7377: remove -std=gnu99 for newer gcc 2016-10-27 16:36:49 +02:00
Sergey Avseyev fd58d736ce Fix 32-bit build on OpenIndiana (#525) 2016-10-05 16:45:18 +02:00
Fabrice Le Fessant 6b436a43ea Add --reserved-header-bits XX to ./configure
with XX a number smaller than 32 (to leave at least 22 bits for the size)
2016-08-29 22:33:32 +02:00
Markus Pfeiffer a49dfbf23f Add configure detection for DragonFly BSD 2016-08-01 23:13:04 +01:00
Mark Shinwell 234b8ecefc Fixes for 32-bit 2016-08-01 12:59:40 +01:00
Mark Shinwell cd0bd8aa73 Spacetime: a new memory profiler (#585) 2016-07-29 15:07:10 +01:00
alainfrisch 012e1ef878 "./configure -safe-string" to force safe-string mode
When configured with -safe-string, the OCaml tools will default to the
safe-string mode and ignore -unsafe-string command-line arguments.  This
is intended to serve two purposes:

 - Facilitate the detection of packages that are not ready
   for -safe-string ready.  (Perhaps with some OPAM switch?)

 - Enable some optimizations that assume that all linked units are
   compiled with -safe-string.

Note: currently, there is no check that units compiled with an OCaml
configured without -safe-string are not linked in.
2016-07-19 14:28:51 +02:00
Fabrice Le Fessant fe96ec6a77 Merge pull request #668 from lefessan/2016-07-06-cplugins-and-fPIC
Add cplugins and add a configure option `-fPIC`
2016-07-17 10:33:58 +02:00
Fabrice Le Fessant 99b4d7bac9 Add a target `make reconfigure` to restart configure with the same options 2016-07-13 16:02:51 +02:00
Fabrice Le Fessant 6a83bdd593 Add cplugins and option -fPIC to ./configure 2016-07-13 14:00:31 +02:00
Hannes Mehnert d688f23f03 discover nanosleep() availability in configure 2016-06-21 10:33:31 -04:00
Damien Doligez 4e6a825aaf consistency of configure option parsing 2016-06-07 14:40:07 +02:00
Sébastien Hinderer 50147913ac Call the '#' sign hash rather than sharp. 2016-05-09 16:34:40 +02:00
David Allsopp ffec6be51a Remove Cygwin dependency on dos2unix
tr is always installed.
2016-04-26 06:59:17 -04:00
Gabriel Scherer 6aa17e0159 ./configure: set natdynlink=false on -no-native-compiler
In PR#7172, Daniel Bünzli remarks that even if an user does only "make
world install" only, intentionally not installing the native code
compiler, the configuration variables exposed through
$(ocamlc -where)/Makefile.config will be misleading as they indicate
the configuration-time prediction that this installation has a native
compiler and support native dynlink.

The -no-native-compiler switch allows to avoid this issue by
intentionally indicating at configure-time that no native compiler
shall be built. However, its current implementation forgot to also
explicitly disable native dynlinking. Changing this fixes the
Makefile.config information and has no impact on the compiler build
process (a build with ARCH=none will never hit the {all,install}opt of
dynlink/Makefile that inspect NATDYNLINK).

On regression risk: it is easy to check in ./configure that this
change only affects configuration when the -no-native-compiler option
is passed, which did not exist before (late in) 4.03+dev.
2016-04-04 08:44:00 -04:00
Damien Doligez d3d30f3db5 add quotes to avoid breaking RML's configure script 2016-03-03 10:01:27 +09:00
Damien Doligez 5401ce8473 Update headers for the new license.
Remains to be done: remove all headers in testsuite/tests.
2016-02-18 16:59:16 +01:00
Damien Doligez ee8f71101b clean up whitespace and cut long lines 2016-02-17 13:36:27 +01:00
Damien Doligez 385ba6d47d tests/lib-dynlink-csharp: fix when shared libs not available; configure: better error message when trying to use shared libs and they are not available 2016-02-03 16:03:06 +01:00
Gabriel Scherer f8f2a6277f remove ocamlbuild from the compiler distribution 2016-02-01 15:05:18 -05:00
David Allsopp 4bf93642af Allow automatic re-running of failed tests
MAX_TESTSUITE_DIR_RETRIES (which defaults to 1 for the native Windows
ports and 0 for all other platforms) causes the `all` and `list` targets
to re-run any given test directory an additional number of times in
order to eliminate random failures during tests.
2016-01-26 14:46:22 +00:00
François Bobot ff0f9b8338 Fix instrumented runtime for glibc < 2.17
- Compile the instrumented runtime, for catching errors in CAML_INSTR
      macros.
   - Compile the debug runtime for compile time errors in Assert.
2016-01-23 11:06:03 +01:00
Pierre Chambart 868b799304 Configure option for flambda 2016-01-14 14:20:23 +01:00
Mark Shinwell d1c05bc963 Merge pull request #383 from tkob/aix-all-source
GPR#383: Define _ALL_SOURCE for AIX 7.1
2016-01-05 13:45:26 +00:00
Gabriel Scherer 3a2848801d configure: add an explicit -no-native-compiler switch 2016-01-01 18:57:41 +01:00
tkob 2ee18856b3 Define _ALL_SOURCE for AIX 7.1
This is needed because some required constants and prototypes are defined
inside `#ifdef _ALL_SOURCE`

Examples are:

- AI_NUMERICHOST constant in netdb.h (used from getaddrinfo.c)
- chroot prototype in unistd.h (used from chroot.c)
2015-12-31 13:54:07 +09:00
Damien Doligez 0225ca01e3 GC latency improvements 2015-12-21 14:27:46 +01:00
Rich Neswold d59bc44b08 NetBSD doesn't have gethostbyname_r or gethostbyaddr_r, yet gets configured as
having them. The config script doesn't fail when there's no prototype to the
functions. It should maybe be compiled as "warnings as errors".

(obtained from PKGSRC patches.)
2015-12-05 10:16:49 -06:00
Rich Neswold 2914b95cbb Add support for NetBSD/arm. 2015-12-05 10:16:48 -06:00
Xavier Leroy 647a8cc438 configure: Typos in messages and comments. 2015-11-27 09:33:28 +01:00
Xavier Leroy 99067ad1e7 z port: do not use locgr instruction for Boolean-valued comparisons
The locgr instruction is not available in z10, the baseline for this port.
Instead, generate pedestrian code with a conditional branch.
Pass -march=z10 to the assembler to enforce z10 compliance.
2015-10-31 07:34:27 -04:00
Xavier Leroy 58db11e051 IBM zSystem port of OCaml
Import of Bill O'Farrell's port, rebased from 4.02.1 to trunk.
2015-10-29 09:55:19 +01:00
Xavier Leroy 4bd9adbdc7 PR#7030: libasmrun_shared.so fails to build on SPARC Solaris 2015-10-27 18:16:08 +01:00
Xavier Leroy 38d9bf4523 GPR#226, continued: reduce optimization level for GCC < 4.2.
Following reports that -fwrapv has known issues in GCC prior to version 4.2,
use '-O' (and warn) for GCC [3.0, 4.2);
use '-O2 -fwrapv -fno-strict-aliasing' for GCC 4.2 and up.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16540 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-10-25 10:31:59 +00:00
Damien Doligez c65e735e8c fix configure error for PARTIALLD on PowerPC
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16422 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-09-13 22:13:59 +00:00
Damien Doligez b860d63145 whitespace cleanup, cut long lines, add some missing headers
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16415 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-09-11 11:58:31 +00:00
Xavier Leroy ee9d50e899 asmrun/Makefile: Remove hard-wired '-O' options
configure: uninitialized variable $nativeccprofopts


git-svn-id: http://caml.inria.fr/svn/ocaml/branches/cc-optim@16377 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-08-25 14:15:54 +00:00
Xavier Leroy 4ee74721a6 Update wrt trunk (r16374).
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/cc-optim@16375 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-08-25 13:40:40 +00:00
Xavier Leroy bdf3fe80d3 Be prudent, select -O2 optimization instead of -O3.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/cc-optim@16338 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-08-06 09:34:12 +00:00
Xavier Leroy d9ab3bd2c9 When compiling with gcc or clang, use optimization level -O3 with some optimizations prudently turned off.
Auxiliary changes:
- Put GCC in gnu99 mode (= C99 + GNU extensions).
- Check C99 conformance, warn if not.
- Reject if gcc is too old ( < 3.0 )
- Stop C compilation on warnings if this is a development version of OCaml.
  (I'm tired of C warnings being ignored.)


git-svn-id: http://caml.inria.fr/svn/ocaml/branches/cc-optim@16329 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-08-04 12:12:47 +00:00
Xavier Leroy cf87a2c664 Update wrt trunk r16319.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/ppc64@16320 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-08-03 09:18:04 +00:00
Xavier Leroy d232e7d4ff PPC64 little-endian support.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/ppc64@16298 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-30 09:07:09 +00:00
Xavier Leroy 58c07fa89e PR#6722: compatibility with x32 architecture (x86-64 in ILP32 mode)
configure: deselect ocamlopt, which is not supported
signals_machdep.h: use i386 instruction sequence, not amd64.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16243 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-24 12:31:42 +00:00
Xavier Leroy 8815d7e1a2 PowerPC port of ocamlopt:
- Removed MacOS X support, long dead.
- Added support for PowerPC 64 bits, big-endian, ELF v1 ABI
  (tested, mostly works, some issues remain with marshaling of code pointers)
- Added support for PowerPC 64 bits, little-endian, ELF v2 ABI
  (completely untested)


git-svn-id: http://caml.inria.fr/svn/ocaml/branches/ppc64@16226 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-20 15:41:44 +00:00
Damien Doligez 860c670848 merge branch 4.02 from 4.02.1 (rev 15540) to a few fixes after 4.02.2 (rev 16205)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16214 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-17 14:31:05 +00:00
Damien Doligez 871de90367 add libbfd configuration for MacOS
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16211 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-07-15 14:53:12 +00:00
Gabriel Scherer 70450de8a1 PR#6693: also build libasmrun_shared.so and lib{asm,caml}run_pic.a
(Peter Zotov, review by Mark Shinwell)

NB: after applying this change you need to run ./configure again.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16068 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-05-02 15:30:41 +00:00
Gabriel Scherer f6018b0ef1 PR#6846: build failure with prefixed tools
(Niels Ole Salscheider)

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16048 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-04-26 20:50:20 +00:00
Jérémie Dimino 3a903acafb PR#6285: add support for nanosecond precision in Unix.stat()
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15877 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-03-05 11:02:53 +00:00
Damien Doligez 35c7dac1ad add the version number to the output of configure
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15874 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-03-04 19:56:45 +00:00
Damien Doligez 0f5046b8b4 configure: add test for cygwin64
Makefile: fix compilation of checkstack
tests/callback: fix compilation



git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15809 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-02-05 04:28:25 +00:00
Damien Doligez abcd4e8f90 PR#6628: Configure script rejects legitimate arguments
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15562 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-29 16:29:18 +00:00
Damien Doligez 031cffd155 merge branch 4.02 from release 4.02.0 to release 4.02.1
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15558 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-15 13:34:58 +00:00
Gabriel Scherer 230e723a85 minor configure changes
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15466 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-03 19:26:10 +00:00
Gabriel Scherer d8c147937e sync configure with the bdf.h objinfo change
(Patch by Christopher Zimmermann)

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15465 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-03 19:26:08 +00:00
Xavier Leroy b868c05ec9 PR#6517: use ISO C99 types {,u}int{32,64}_t in preference to our homegrown
types {,u}int{32,64}.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15131 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-27 09:58:33 +00:00
Damien Doligez cbfe627f92 merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev 15121)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15125 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-08-22 13:45:02 +00:00
Mark Shinwell ec96727497 merge from 4.02 (rev. 14929): add configure detection of mkstemp, remove old HAVE_MKSTEMP conditional, rename HAVE_MKSTEMP -> HAS_MKSTEMP
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14930 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-30 12:49:24 +00:00
Mark Shinwell 286af5b06a merge github.com/ocaml/ocaml/pull/56.diff, from Anil, part 1: fix support for PowerPC/BSD backtraces
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14854 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-13 13:14:12 +00:00
Mark Shinwell 881ec04f39 no-naked-pointers patch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14791 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-12 07:29:24 +00:00
Gabriel Scherer d84f8be74c configure: fix as/aspp for FreeBSD (works for both gcc and clang)
(Patch by Andrew Ray)

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14727 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-05-02 16:35:48 +00:00
Xavier Leroy dd17af8b43 Simpler variant of commit r14635:
- configure: no change necessary
- byterun/config.h: make sure ARCH_INT64_TYPE and related macros
  are always defined, for Coq and others to use.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14636 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-18 10:00:42 +00:00
Xavier Leroy 86bd9990f4 configure: always define ARCH_INT64_TYPE in config/m.h because Coq
and maybe others rely on it
byterun/config.h: select "long long" in preference to "long" for "int64",
  just because this is how it was done in earlier versions.
  (Minimizing suprises.)


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14635 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-18 09:54:34 +00:00
Xavier Leroy 774e30e138 PR#6075: avoid using unsafe C library functions (strcpy, strcat, sprintf).
An ISO C99-compliant C compiler and standard library is now assumed.
(Plus special exceptions for MSVC.)  In particular, emulation code for
64-bit integer arithmetic was removed, the C compiler must support a
64-bit integer type.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14607 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-15 17:09:13 +00:00
Jacques Garrigue cfb1250590 Fix PR#6347
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14527 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-04 03:04:45 +00:00
Damien Doligez c81cc506ec configure: SO must be "so" or "dll" without the dot
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14369 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-12-17 09:58:47 +00:00
Damien Doligez aa58e55958 port to cygwin-64
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14337 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-12-03 14:43:02 +00:00
Xavier Leroy 33f242aaea Reverting the elimination of the ocamlcomp*.sh scripts, namely the following commits:
14278
14277
14276
14176
14175
14173
14172
14171
14169
14168
14167
These changes need to mature on their own branch.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14329 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-11-29 13:04:38 +00:00
Jérémie Dimino 5d917633ad remove camlp4
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/minus-camlp4@14309 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-11-21 16:23:28 +00:00
Wojciech Meyer aa7e283b1b build: don't use make's -C; it's not available everywhere.
(Patch by Adrien Nader!)

-C doesn't work on at least openbsd's make so don't use it.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14173 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-09-21 12:02:49 +00:00
Wojciech Meyer 241585bc83 build: replace ocamlcomp*.sh.
This script was built from ocamlcomp.sh.in through sed and is called
instead of "ocamlc" (for instance).
It makes it possible to switch from "ocamlc" to "ocamlc.opt" without
changing anything in the Makefiles, only calling sed.

I couldn't cleanly make it handle both a compiler for the target and for
the build. Instead I'm replacing it and doing as much as possible
directly in the Makefiles.
I hoped it would reduce the number of shell invocations, which would
speed things up quite a lot on Windows but I still had to have at least
one since it's not possible to update a make variable from inside a make
rule: i.e. it's not possible to do X=a, build a.opt and update X to be
a.opt.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14168 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-09-20 00:22:38 +00:00
Xavier Clerc e82104a755 Remove labltk from the distribution (will be available as a third-party library).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14077 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-09-09 09:32:00 +00:00
Damien Doligez 7844495624 Merge branch 4.01 from branching point to 4.01.0+rc1
Command line used:
  svn merge --accept postpone -r 13776:14055 $REPO/version/4.01 .


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14060 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-09-04 15:12:37 +00:00
Wojciech Meyer 79bc2c2efa configure: enable natdynlink for *-*-mingw*.
(Patch by Adrien Nader!)

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13944 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-07-28 15:52:18 +00:00
Wojciech Meyer dda5f84f7c build: allow disabling ocamldoc and ocamlbuild.
(Patch by Adrien Nader!)

This doesn't touch the build system in build/ since it's obsolete and
unmaintained as far as I know (I'll try to remove it in a further
commit).

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13943 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-07-28 15:52:17 +00:00
Wojciech Meyer 6549fe7019 build: prepend "with_" to camlp4/ocamldebug-{en,dis}abling variables.
(Patch by Adrien Nader!)

This makes the variable names more coherent and is in preparation for
another patch that will allow disabling ocamldoc and ocamlbuild.

This changes the interface of the configuration somewhat but I don't
think anything outside of the ocaml tree reads the Makefile.config file
that gets installed in order to see whether the debugger and camlp4 have
been built. It also changes a .mli which might be problematic but I also
believe it is safe and we have time to see if there's a bad impact.

It also adds a configure switch to skip building ocamldebug.

While at it, it fixes a PR number in the Changes file.
build: prepend "with_" to camlp4/ocamldebug-{en,dis}abling variables.

This makes the variable names more coherent and is in preparation for
another patch that will allow disabling ocamldoc and ocamlbuild.

This changes the interface of the configuration somewhat but I don't
think anything outside of the ocaml tree reads the Makefile.config file
that gets installed in order to see whether the debugger and camlp4 have
been built. It also changes a .mli which might be problematic but I also
believe it is safe and we have time to see if there's a bad impact.

It also adds a configure switch to skip building ocamldebug.

While at it, it fixes a PR number in the Changes file.
build: prepend "with_" to camlp4/ocamldebug-{en,dis}abling variables.

This makes the variable names more coherent and is in preparation for
another patch that will allow disabling ocamldoc and ocamlbuild.

This changes the interface of the configuration somewhat but I don't
think anything outside of the ocaml tree reads the Makefile.config file
that gets installed in order to see whether the debugger and camlp4 have
been built. It also changes a .mli which might be problematic but I also
believe it is safe and we have time to see if there's a bad impact.

It also adds a configure switch to skip building ocamldebug.

While at it, it fixes a PR number in the Changes file.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13942 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-07-28 15:52:14 +00:00
Xavier Leroy 055d5c0379 Port to the ARM 64-bits (AArch64) architecture (experimental).
Merge of branch branches/arm64.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13909 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-07-18 16:09:20 +00:00
Wojciech Meyer 0425a7246b Revert "build: make building ocamldoc, ocamlbuild and ocamldebug optional."
This patch fixes build failure.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13867 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-07-01 21:33:22 +00:00
Wojciech Meyer 21b780c0a5 configure: store $target and $host in the build configuration (fix-pt2). (Patch by Adrien Nader!)
Fixing builds continued.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13866 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-07-01 21:33:21 +00:00
Wojciech Meyer 70659109f2 build: make building ocamldoc, ocamlbuild and ocamldebug optional.
(modified patch from Adrien Nader!)

Add also new comments for the new INSTALL flags.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13864 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-07-01 19:28:18 +00:00
Wojciech Meyer 086c04495e Revert "configure: store $target and $host in the build configuration." as it breaks several builds.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13858 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-30 22:01:53 +00:00
Wojciech Meyer e5eeea88af configure: store $target and $host in the build configuration.
(Patch by Adrien Nader!)

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13857 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-30 12:58:35 +00:00
Wojciech Meyer fdf9cde11d build: select win32 variants of unix and graph for mingw.
(Patch by Adrien Nader!)

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13856 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-30 12:58:34 +00:00
Wojciech Meyer edec3c55f6 configure: add a special case to test for BSD sockets for mingw.
(Patch by Adrien Nader!)

I tried to use "hasgot" to test it but proved too difficult since you
must #include <winsock2.h> to make link succeed (windows magic) which
then makes gcc complain about the prototype being wrong.

Since windows already needs a special case in order to add -lws2_32 and
since we know for sure it will be available, skip the hasgot test and
check $target directly.
configure: add a special case to test for BSD sockets for mingw.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13855 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-30 12:42:24 +00:00
Wojciech Meyer 1e064ceb55 configure: when cross-compiling, set $TOOLPREF and use it.
(Patch by Adrien Nader!)

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13854 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-30 12:42:23 +00:00
Wojciech Meyer feac346c2f configure: add --target and use "target" instead of "host" for variables
(Patch by Adrien Nader!)

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13853 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-30 11:41:40 +00:00
Wojciech Meyer 9111707486 configure: for cross, a matching ocamlrun must be on the system.
(Patch by Adrien Nader!)

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13852 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-30 11:41:39 +00:00
Wojciech Meyer 7dc8ea2b8f misc: fix indent staircase introduced by revision 13843.
(patch by Adrien Nader!)

While at it also re-add two spaces that were eaten.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13851 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-30 11:03:01 +00:00
Wojciech Meyer d6d2c4b3ea configure: fix detection of non-working C compiler.
(patch by Adrien Nader!)

The test tried to do something like:
  case "$foo,$bar" in
    *,*) echo 1 ;;
    *) echo "compiler not working" ;;
   esac
However the second case cannot match because of the first one.

Instead, check the return code of the command.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13844 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-27 21:09:25 +00:00
Wojciech Meyer 1b39eae0ae configure: remove unused variables from case...in test.
(Patch by Adrien Nader!)

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13843 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-27 19:46:02 +00:00
Wojciech Meyer 41be48ee15 configure: fail if invoked with -param=value (instead of "-param value")
(Patch by Adrien Nader!)

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13842 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-27 19:28:27 +00:00
Wojciech Meyer f85aaad77d configure: use inf/wrn/err functions to write messages for the user.
(Patch by Adrien Nader!)

This makes messages to the user more consistent.

Behaviours:
  inf(): writes its arguments to stderr
  wrn(): writes "[WARNING]" to stderr and then its arguments to stderr
  err(): writes "[ERROR!]" to stderr, then its arguments to stderr, and
         calls "exit 2"

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13841 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-27 19:10:08 +00:00
Xavier Leroy bfc08c41ac PR#6049: support for OpenBSD/macppc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13835 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-24 08:17:30 +00:00
Fabrice Le Fessant f4d6eafbd3 Fix PR#6044: enabling frame pointers breaks build on MacOS X
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13826 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-20 16:26:19 +00:00
Fabrice Le Fessant e99f2dde29 Add -fno-omit-frame-pointers to gcc when compiling with -with-frame-pointers
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13765 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-11 11:58:44 +00:00
Fabrice Le Fessant 9b53f8b10d Re-add configure option -with-frame-pointers
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13738 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-03 18:03:59 +00:00
Fabrice Le Fessant 97bc1fa9e2 Reverting -with-frame-pointers
Fails to compile alt-ergo without frame-pointers. No time to debug
before tonight, so I revert and will merge again after fixing the
problem.



git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13732 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-03 06:29:33 +00:00
Fabrice Le Fessant 1b2667b9f2 Add -with-frame-pointers to ./configure
This option can be used to tell the native compiler that it should
update frame pointers, so that debuggers and profiling tools 
(especially Linux perf) can use them. For now, it is only supported
by the Unix/amd64 port.



git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13730 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-03 04:42:42 +00:00
Damien Doligez 362082e1a8 fix testsuite for cygwin
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13652 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-06 18:01:34 +00:00
Damien Doligez b2636c22d5 PR#5921 "compact unwind" warnings under MacOS
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13423 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-22 17:57:53 +00:00
Damien Doligez c63f9e0957 fix a few problems with whitespace and over-long lines
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13393 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-09 22:38:52 +00:00
Pierre Weis a81a5b038c Labtk now supports 8.6.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13327 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-27 19:31:47 +00:00
Benedikt Meurer dd65af958b Use clang as assembler on Mac OS X if available.
Mac OS X ships with a really old version of as, which does not support
the CFI directives. LLVM itself provides an assembler that is certainly
way more up to date, but currently there's no dedicated frontend, so we
simply use clang in this case.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13226 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-01-13 14:22:14 +00:00
Benedikt Meurer dc0776f551 #5798: Apply patch to add VFPv2 and ARMv6 hard-float support (Jeffrey Scofield, Anil Madhavapeddy).
[PATCH] Detect and support armv6/VFPE2, which is sufficient to get
ocamlopt working on the Raspberry Pi hardfloat Debian variant

Original patch: Jeffrey Scofield via http://psellos.com/pub/ocamlxarm/ocaml4-vfpv2.diff
Fixes from: Anil Madhavapeddy <anil@recoil.org>



git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13042 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-24 06:20:45 +00:00
Damien Doligez def31744f9 remove all $Id keywords
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13013 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-15 17:50:56 +00:00
Damien Doligez 0c3a7de507 merge changes from 4.00 branching to 4.00.0 (part 1)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12784 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-26 19:21:54 +00:00
Damien Doligez 6973c3b9da PR#5255: natdynlink detection on powerpc, hurd, sparc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12647 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-06-26 16:01:05 +00:00
Damien Doligez 9cd6b389a3 better formatting of message
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12632 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-06-21 16:22:16 +00:00
Xavier Leroy 28c206ad37 PR#5643: issues with .cfi and .loc directives generated by ocamlopt -g
(Picking commit 12610 from version/4.00)


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12611 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-06-17 08:17:43 +00:00
Xavier Leroy 72ae789dc6 PR#5543: in Bigarray.map_file, try to avoid using lseek() when growing file
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12317 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-04 12:12:02 +00:00
Damien Doligez 7c8fcb37f7 PR#5552 unrecognized gcc option "-no-cpp-precomp"
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12283 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-27 14:32:28 +00:00
Alain Frisch 46a196c01d Use flexdll's -stack option, also for Cygwin.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12264 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-23 15:22:13 +00:00
Damien Doligez 6c24f4f90b merge version 3.12 from 3.12.1 to r12205
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-08 19:52:03 +00:00
Xavier Leroy 2eecf2d4c0 PR#5487: addition of CFI directives and a few filename/linenumber info to generated amd64 and i386 assembly files.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12179 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-21 17:41:02 +00:00
Xavier Leroy 5ad47ce4e6 Backtrack previous changes for PowerPC/Linux, which turns out to lack what we need for turning stack overflows into exceptions
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12160 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-17 10:43:50 +00:00
Xavier Leroy 339bcbb2c6 PR#5064, PR#5485: try to ensure that 4K words of stack are available
before calling into C functions, raising a Stack_overflow exception
otherwise.  This reduces (but does not eliminate) the risk of
segmentation faults due to stack overflow in C code.
Implemented for i386, amd64 and power, under Linux and MacOSX.
Plus: remove some more stuff related to obsoleted platforms (IA64, SunOS 4).


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12159 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-17 10:12:09 +00:00
Damien Doligez d7cbf2a01a PR5477: (continued) fix Tcl/Tk configuration to use $x11_link instead of $x11_libs
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12148 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-10 15:29:36 +00:00
Damien Doligez b392c77aa6 PR#5385: add a warning when MACOSX_DEPLOYMENT_TARGET is set
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12143 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-09 18:41:53 +00:00
Damien Doligez e61911c5c9 PR#4278: configure without graph; fix problem when X11 not found
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12132 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-07 12:43:34 +00:00
Benedikt Meurer 05627e0de4 Merge the new ARM backend into trunk (PR#5433).
Initial merge of the new ARM backend (commit ec5b444c7f) from my development
repository at https://github.com/bmeurer/ocaml-arm/tree/ec5b444c7f .

Compared to the old ARM backend, this one does the following:
- Support for both software and hardware floating-point (VFPv3).
- Properly supports interworking with Thumb/Thumb-2 code for both OCaml and C
  code.
- Supports dynamic linking and large memory models (PR#5049).
- Optional support for position-independent code via a command line option
  -fPIC. This is disabled by default and not required for natdynlink.
- Can emit both ARM and Thumb-2 code, with avg. code size savings of 28% for
  Thumb-2 (quite close the optimal 30% advertised by ARM Ltd.).
- Supports both AAPCS (armel) as well as extended VFP calling conventions
  (armhf).
- Supports several special ARM instructions to reduce code size and latency.
- Uses standard ARM EABI runtime functions instead of relying on GCC internals.
- Supports exception backtraces.
- Supports profiling using gprof.



git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12124 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-04 10:15:24 +00:00
Damien Doligez fd944666c2 PR#5477 use pkg-config to configure graphics on linux
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12110 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-01 21:30:35 +00:00
Damien Doligez 1f493d056e PR#1496: allow configuring LIBDIR, BINDIR, and MANDIR relative to $(PREFIX)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12080 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-26 13:02:51 +00:00
Damien Doligez 38b827b7e4 fix configure on MacOSX after upgrade of config.sub and config.guess
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12074 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-23 15:44:01 +00:00
Damien Doligez e8e3d14e01 fix configure on MacOSX/64-bit; add an option to configure or build without camlp4
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12073 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-23 15:18:22 +00:00
Alain Frisch bfb35c4fce #5478: makes it possible to specify a custom 'ar' command.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12027 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-16 09:05:37 +00:00
Damien Doligez 0c7984afc6 PR#5453: configure doesn't find X11 under Ubuntu/MultiarchSpec
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11978 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-29 20:42:11 +00:00
Jonathan Protzenko 253e88bc67 Fix #5393: make sure -R is only passed to the linker with a BSD that has a BSD userland
Patch by: Stéphane Glondu <stephane@glondu.net>

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11925 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-21 15:56:10 +00:00
Damien Doligez a85549ccf6 cygwin is changing from Windows-based to X-based tcl/tk
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11921 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-21 15:30:54 +00:00
Xavier Leroy 366da2c721 Removed the obsolete native-code generators for Alpha, HPPA, IA64 and MIPS,
part 2: configure.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11883 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-17 11:21:24 +00:00
Xavier Leroy 9178181eae The "DBM" library (interface with Unix DBM key-value stores) is no
longer part of this distribution.  It now lives its own life at
https://forge.ocamlcore.org/projects/camldbm/.  Bye bye, DBM.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11881 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-17 10:45:23 +00:00
Damien Doligez 9058296d2f configure correctly under Mac OS 10.7 Lion (darwin11)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11163 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-08-04 14:31:34 +00:00
Damien Doligez 3b507dd1aa renaming of Objective Caml to OCaml and cleanup of copyright headers
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-27 14:17:02 +00:00
Damien Doligez c91db736b1 merge changes from 3.12.0 to 3.12.1
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11123 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-20 09:17:07 +00:00
Xavier Leroy 174ff0b018 PR#3806, 4752, 5246: added "hypot" and "copysign" to Pervasives.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11065 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-06-04 08:55:55 +00:00
Damien Doligez 31b0292413 renaming "Objective Caml" to "OCaml" (first pass)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11015 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-04-26 12:16:50 +00:00
Pierre Weis 63ff703dbf Should choose recent versions of Tk/Tcl first.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10984 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-17 22:37:46 +00:00
Pierre Weis 0ab3788be5 Merging with 3.12 version
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10983 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-17 22:34:52 +00:00
Damien Doligez a53ce2df70 add option -runtime-variant
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10982 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-17 16:18:05 +00:00
Damien Doligez 575555eecd merge changes from branching of 3.12 to release/3.12.0
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10643 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-08-02 14:37:22 +00:00
Mark Shinwell 7c11c2acf9 add -liberty to LIBBFD_LINK
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10625 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-07-13 09:22:44 +00:00
Xavier Leroy d8d8390f05 More prudent detection of natdynlink on MacOS 10.4 and 10.5
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10490 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-06-02 08:58:42 +00:00
Xavier Leroy 1ad3294362 natdynlink supported on Intel / MacOS 10.4 and 10.5 platforms
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10489 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-06-02 08:56:11 +00:00
Alain Frisch d7b5f7e6cb Update list of architectures where natdynlink is supposed to work.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10479 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-31 10:09:32 +00:00
Alain Frisch 2084d92c93 Natdynlink is supposed to work for host=i[3456]86-*-darwin10. in 64-bit.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10473 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-28 11:40:00 +00:00
Alain Frisch 9c07d1022f Typo in last commit.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10464 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-25 11:12:48 +00:00
Alain Frisch e03c2f78ca Typo in last commit.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10463 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-25 11:12:37 +00:00
Alain Frisch 3e12ede6e7 More explicit list of hosts where natdynlink is enabled.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10462 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-25 11:10:59 +00:00
Alain Frisch 47dbbc7d7f Decide at config time if natdynlink is supported or not, but always compile/install dynlink.cmxa to simplify 3rd party packages. A runtime exception signals an unsupported natdynlink.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10461 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-25 10:00:39 +00:00
Xavier Leroy 2adec7d747 PR#5033: tools/objinfo made more general.
tools/dumpapprox removed, now subsumed by tools/objinfo.
Introduced asmcomp/cmx_format.mli and used consistently in asmcomp,
  tools/objinfo, and otherlibs/dynlink
Note: ocamlbuild -based build procedure not updated yet.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10424 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19 11:29:38 +00:00
Damien Doligez f93ec9a9cd disable shared libraries on 32-bit 10.6
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10338 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-30 14:18:45 +00:00
Xavier Leroy 2f65c774e3 PR#4984: SPARC-specific code in BNG causes problems, so turn it off
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10267 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-18 08:44:53 +00:00
Damien Doligez 9f1516ff36 suppress linker warning message on Mac OS X 10.6.x / x86_64
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10214 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-03-25 14:51:49 +00:00
Damien Doligez bdc0fadee2 merge changes from release/3.11.1 to release/3.11.2
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9540 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-01-20 16:26:46 +00:00
Damien Doligez be8721c1da portability for different versions of make and echo
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9533 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-01-19 14:56:22 +00:00
Damien Doligez 71b94fa3e8 merge changes from ocaml3111rc0 to ocaml3111
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9319 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-07-20 11:51:50 +00:00
Damien Doligez ed32f569e3 merge changes from ocaml3110 to ocaml3111rc0
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9270 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-05-20 11:52:42 +00:00
Xavier Leroy 238cf4bde3 PR#3047: added Unix.setgroups, Unix.initgroups.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9220 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-04-01 16:50:10 +00:00
Xavier Leroy 2da17c49c6 PR#4638: added expm1 and log1p.
Cleaned up some doc comments in stdlib/pervasives.mli


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9216 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-04-01 16:08:37 +00:00
Damien Doligez 9e6bbde5aa PR#4722 typo
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9188 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-03-16 14:36:51 +00:00
Damien Doligez 1f95b17570 merge changes from 3.10.2merged to 3.11.0
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9153 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-12-03 18:09:09 +00:00
Damien Doligez f609381328 better test for BSD dynlinker
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9072 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-10-06 13:31:47 +00:00
Pierre Weis b038820dc8 Configuration of dll search paths on BSD systems
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9042 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-09-28 21:11:45 +00:00
Pierre Weis 45f76fe7cb Makefile support to clean shared library objects.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9013 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-09-10 05:51:11 +00:00
Pierre Weis 10b38811b6 Support for tk8.5: correcting tk_incs.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8899 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-07-01 09:55:52 +00:00
Jacques Garrigue ad3ca0e02b add support for Tcl/Tk 8.5 (but no directory autodetect)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8879 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-05-02 06:41:30 +00:00
Alain Frisch 95d9511cf6 Drop support for the old bundle API for Mac OS X (<= 10.3).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8876 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-04-22 12:40:14 +00:00
Alain Frisch ff421e9e8b Cleanup + pass -Wl,-E to linker when linking dynlink.cma in custom mode.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8868 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-04-16 06:50:31 +00:00
Damien Doligez beb152b1a9 instruction manquante
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8788 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-01-22 17:08:13 +00:00
Damien Doligez 9ea5edac9a merge changes 3.10.0 -> 3.10.1
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8768 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-01-11 16:13:18 +00:00
Xavier Leroy a3c0366f4e PR#4448: replace dense page table by sparse hash table.
Introduction and use of macros Is_in_value_area, Is_in_heap_or_young.
Removal of USE_MMAP_INSTEAD_OF_MALLOC.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8743 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-01-03 09:37:10 +00:00
Nicolas Pouillard 63fe382081 [build] PACKLD is now defined in config/Makefile.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8643 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-11-27 12:29:31 +00:00
Nicolas Pouillard 3f1f575f02 [configure][FIXED] Check also for libX11.dylib (PR#4446).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8549 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-11-21 16:47:53 +00:00
Alain Frisch 223f7bbfea Improve -output-obj: can now build directly a dynamic library (with all the ccobjs/ccopts); can also produces simply the uncompiled .c file (e.g. to debug). The output name (-o) is now mandatory when -output-obj is used, and only an extension amongst .c, EXT_OBJ, EXT_DLL is allowed.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8522 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-11-15 15:18:28 +00:00
Alain Frisch 1b059475c8 Cleanup and factorization of linker-related code.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8521 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-11-15 13:21:15 +00:00
Alain Frisch 61f108c251 Use the dlopen API in priority when available under Mac OS X. For Leopard, we need ld_classic to build bundles with relocations in text sections.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8514 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-11-12 17:26:00 +00:00
Xavier Leroy 2f9fff806a PR#4180: shared library support for OpenBSD
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8501 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-11-10 12:29:28 +00:00
Alain Frisch 36ab6c07af Build cmxs for otherlibs only on archs where it is supposed to work.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8486 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-11-07 10:26:53 +00:00
Alain Frisch 3958a92c72 Merge the natdynlink branch into HEAD.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8477 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-11-06 15:16:56 +00:00
Xavier Leroy bbc18ec5c0 Typos (suite de PR#4171)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8463 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-10-30 12:45:04 +00:00
Xavier Leroy 9ccb911666 Can select which assembler to use at configuration time (PR#4171)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8462 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-10-30 12:37:16 +00:00
Damien Doligez 4167841b16 fusion de la version 3.10.0
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8416 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-10-08 14:19:34 +00:00
Pierre Weis 8e5fb9bb75 Added shared library support for NetBSD and OpenBSD.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8394 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-08-23 07:43:06 +00:00
Luc Maranget f7980e95e2 +
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7840 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-02-08 14:41:57 +00:00
Nicolas Pouillard d7c9375166 Some changes to the build system
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7829 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-02-07 10:31:36 +00:00
Xavier Leroy f2027274dd gprof profiling support for MacOSX/Intel (PR#4087)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7692 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2006-10-16 08:40:42 +00:00
Xavier Leroy 34430286a5 Stack overflow detection for MacOSX/Intel
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7691 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2006-10-16 08:19:51 +00:00
Xavier Leroy 5e421b2b2a Fabrication de camlp4_config.ml deplacee de configure vers Makefile
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7652 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2006-09-28 13:27:27 +00:00
Xavier Leroy c28863124b Tentative fix for PR#4116
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7623 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2006-09-20 17:44:05 +00:00
Xavier Leroy 5120db57c6 Shared library support for MacOSX/Intel (PR#4086)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7573 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2006-08-30 09:40:56 +00:00
Xavier Leroy 8689327138 Configuration de PARTIALLD
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7566 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2006-08-18 14:52:19 +00:00
Nicolas Pouillard 6eccb43a4b Fix a syntax error in configure (remove extra ;;)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7449 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2006-06-29 09:45:10 +00:00
Nicolas Pouillard a16df65d36 Update the Makefile and the configure script for Camlp4
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7446 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2006-06-29 08:17:51 +00:00
Xavier Leroy f0532ce985 Portage PPC64
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7439 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2006-06-13 11:54:02 +00:00
Xavier Leroy a5eab1b872 Stack overflow detection for MacOSX/PowerPC
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7432 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2006-05-31 15:53:18 +00:00
Xavier Leroy d9be4fee6a Portage PowerPC 64 bits
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7430 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2006-05-31 08:16:34 +00:00
Damien Doligez 1279ab4b76 fusion des changements 3.09.1 -> 3.09.2
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7382 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2006-04-16 23:28:22 +00:00
Damien Doligez 125ea40d4c fusion 3.09.0 -> 3.09.1
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7307 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2006-01-04 16:55:50 +00:00
Pierre Weis da5fc303b2 Addition of NetBSD compilation for LablTk.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7224 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-11-08 14:00:23 +00:00
Xavier Leroy ad5edb36c2 Auto-detection du modele IL32LLP64
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7073 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-09-24 09:19:09 +00:00
Xavier Leroy 3de54dec26 Remplacement long/unsigned long par intnat/uintnat
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7064 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-09-22 14:21:50 +00:00
Xavier Leroy d4d7720ca9 Revu implementation de ocamlopt -pack. Remplacement du renommage a posteriori par un renommage a priori via l'option -for-pack
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7003 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-08-01 15:51:09 +00:00
Damien Doligez 6c9bac39d4 ajout de l'option -config (suggestion de Gerd Stolpmann)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6865 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-05-09 13:39:17 +00:00
Xavier Leroy 1a16934841 Chercher X11 dans /usr/X11R6/lib64 aussi
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6844 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-04-17 08:22:59 +00:00
Damien Doligez 461779527f ajout support ocamlopt -pack pour Mac OS X
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6750 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-01-21 18:15:55 +00:00
Damien Doligez 7519fe8f6b fusion des bugfixes de 3.08.2
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6694 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-11-25 00:06:06 +00:00
Jacques Garrigue ac96bddd3b small changes in Tcl/Tk config
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6614 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-08-27 02:46:09 +00:00
Damien Doligez c3a39fc8c8 Fusion des modifs de la branche release308 entre 3.08.0 et 3.08.1
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6612 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-08-20 17:04:35 +00:00
Xavier Leroy 6310a642de Detection stack overflow pour AMD64/Linux
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6602 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-08-13 13:38:27 +00:00
Michel Mauny bcd617cbb5 Fixed cmlp4 RANLIB config
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6570 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-07-30 07:47:12 +00:00
Michel Mauny a9d3ed14e0 Passed -prefix to camlp4 configure script (PR#2969)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6569 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-07-28 14:44:14 +00:00
Xavier Leroy 237006931a Fusion des modifs faites sur la branche release jusqu'a la release 3.08.0
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6552 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-07-13 12:19:15 +00:00
Xavier Leroy 63b506d2cd Suppression portage ocamlopt pour Power/AIX
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6423 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-19 16:17:31 +00:00
Xavier Leroy 1882ecd18f ARCH_ALIGN_DOUBLE incorrect sur UltraSparc en mode 64 bits (PR#2572)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6393 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-12 14:50:52 +00:00
Xavier Leroy 5d9181501c strerror est standard ANSI C, ne pas le detecter.
Support profiling pour AMD64/Linux


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6302 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-05-18 08:49:29 +00:00
Damien Doligez db3745919b suppression des warnings "unused variable" de gcc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6299 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-05-17 17:10:00 +00:00
Xavier Leroy 93ff0675a7 Portage HHPA/Linux, suppression du portage HPPA/Nextstep (PR#2561). A tester
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6298 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-05-16 09:09:23 +00:00
Xavier Leroy c972972367 Shared libs on Alpha with gcc (PR#1358)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6236 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-04-18 08:59:03 +00:00
Damien Doligez bde72ee4d5 PR#2328
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6201 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-04-13 17:12:46 +00:00
Damien Doligez 5dfbddcaea IPv6 pour MacOS X
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6199 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-04-09 15:25:19 +00:00
Xavier Leroy 641657c87b Support IPv6
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6193 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-04-09 13:25:23 +00:00
Damien Doligez 6f7612b39d PR#2123 patch configure pour FreeBSD IA64
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6105 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-02-02 22:05:37 +00:00
Xavier Leroy 4a472b116b Typo dans detection SSE2 (PR#1977)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6032 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-12-20 11:45:54 +00:00
Xavier Leroy ab84366870 Remplacement de la couche basse BigNum
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5880 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-24 09:18:01 +00:00
Xavier Leroy 32e0164564 Issue with double alignment detection on HPPA/Linux when kernel alignment fixups are activated
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5879 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-21 13:17:06 +00:00
Xavier Leroy 173634f92d Restreindre la detection du stack overflow a Linux, car problemes avec threads FreeBSD (PR#1832)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5842 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-09-25 08:17:13 +00:00
Xavier Leroy 6eb8d32cbe Ajout option -no-pthread
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5831 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-09-12 07:36:15 +00:00
Xavier Leroy 5c2cad4195 MAJ pour Cygwin (PR#1808)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5813 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-08-29 15:22:49 +00:00
Damien Doligez 48a7d3c3c4 pour que ca marche mieux sous Mac OS X
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5785 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-08-20 15:10:58 +00:00
Xavier Leroy f0f5b17fbe MAJ HPPA
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5783 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-08-20 11:54:24 +00:00
Xavier Leroy 608f3e8db5 Detecter sigwait pour les threads POSIX (Cygwin ne l'a pas)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5759 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-29 15:35:12 +00:00