Commit Graph

55 Commits (635b5edcc1a0ce40d974295a696fbb3dea2f0766)

Author SHA1 Message Date
Sébastien Hinderer 635b5edcc1 ocamltest: the test driver for the OCaml compiler
This commit contains:

- The initial version of the tool itself, in the ocamltest directory
- The required additions to the main .gitignore and .merlin files.

The integration of ocamltest in OCaml's main build system and its use
in the testsuite are not part of this commit.

Credits go to David Allsopp for
- Extending the computation of ocamlsrcdir to the Windows case
- Making ocamltest compile when flexlink
is being bootstrapped.
2017-09-18 17:40:14 +02:00
Leo White e1fd8d5d3a Merge pull request #1332 from bobot/fix_output_complete_obj
[OCamlc] fixes output-complete-object
2017-09-16 06:54:58 +01:00
François Bobot 626a297ec3 [Tests] add gitignore for output_obj files 2017-09-15 21:34:34 +02:00
Damien Doligez f086eda9c0 add -no-flat-float-array configure option 2017-09-15 18:24:36 +02:00
Damien Doligez f06344a026 ignore and clean up new generated files in tests/typing-multifile 2017-07-19 15:12:49 +02:00
yallop de6ec33c6e Restrict Unix.environment in privileged contexts; add Unix.unsafe_environment (#1217)
* Restrict Unix.environment to return an empty array in privileged environments.

* Add Unix.unsafe_environment.

Unix.unsafe_environment is an analogue of Unix.environment that
returns the process environment regardless of privileges.
2017-06-30 11:31:10 +02:00
David Allsopp 6105a2a9e6 Test case for MPR#7385
This is largely to park some work for running tests with a different
date/time to the system clock, because this may be useful in the future.

Patching the system clock is easy, unfortunately the test ends up rather
contrived as only the process, not kernel functions, notice the change,
so other local time functions have to be patched as well.
2017-05-16 19:48:37 +01:00
Sébastien Hinderer 40fcbb5f0a Move configuration header files from the config to the byterun/caml directory
This commit moves:
  - config/m.h to byterun/caml/m.h
  - config/s.h to byterun/caml/s.h

Consequently, m.h and s.h now get installed alongside other
OCaml header files.

This commit also updates the .depend files, introducing updates in the
dependencies which are not consequences of this commit itself.
2017-04-26 19:28:17 +02:00
Jeremie Dimino b8f4682f2c Add missing generated files in .gitignore 2017-04-11 11:00:39 +01:00
Sébastien Hinderer 9c06706292 .gitignore fix
Git was told to ignore otherlibs/systhreads/thread.ml, but it should not.

This is because, decades ago, this file was generated from
otherlibs/systhreads/thread.mlp and was hence rightfully ignored by svn.

But then the mlp file disappeard and it was forgotten to "unignore"
the ml file under svn. Later, .gitignore has been generated from svn
and thus carried the wrong information.
2017-03-31 15:33:33 +02:00
Xavier Leroy a9e4c54b75 Deprecation of Bigarray.*.map_file and introduction of Unix.map_file, continued
This is a follow-up to GPR #997 with a different implementation that creates fewer dependencies.

We add to the runtime a `byterun/bigarray.c` file that contains the bigarray creation functions that used to be in `otherlibs/bigarray/bigarray_stubs.c`.  In the latter file we keep all primitives needed to implement the Bigarray interface.  The functions in the new `byterun/bigarray.c` make it possible to create bigarrays both from the bigarray library and from the unix library.

The header file `bigarray.h` moves to `byterun/caml/bigarray.h` accordingly.

The `map_file` implementations move to `otherlibs/unix/mmap.c` and `otherlibs/win32unix/mmap.c`.  Some bigarray allocation code shared between the two implementations is put in `otherlibs/unix/mmap_ba.c`.

Through a couple of `#ifdef`, the `map_file` implementations can also be compiled from within `otherlibs/bigarray` with the same semantics they had in 4.04.

As a consequence, the bigarray library still contains a standalone, Unix-independent implementation of `Bigarray.*.map_file`; the only difference with 4.04 is that it is marked deprecated.

Current status: compiled and lightly tested under Unix.  Win32 implementation neither compiled nor tested.
2017-03-13 19:15:10 +01:00
Sébastien Hinderer 9e81b0fb4b Update .depend files 2017-03-09 17:12:02 +01:00
Sébastien Hinderer ccf22c8471 Make .depend files generated for C sources more portable
This implements a suggestion provided by @xavierleroy in
https://github.com/ocaml/ocaml/pull/941#issuecomment-266047690

Before this commit, the dependencies of the win32unix C files were not
taken into account at all. This commit fixes this, too.
2017-03-09 17:12:02 +01:00
Nicolas Ojeda Bar 77dba7758e Add make_opcodes 2016-12-29 08:22:37 +05:30
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
David Allsopp 0a5d5c606a Fix testsuite when configured with -safe-string (#819) 2016-12-14 13:14:21 +00:00
David Allsopp 8dfb1a18da Stop Warning 55 in non-flambda float-unboxing test 2016-12-14 13:14:21 +00:00
Damien Doligez 3cbf5f1cb0 ignore new generated files 2016-12-14 13:14:21 +00:00
Stephen Dolan a35c6117e6 Instrumentation for american fuzzy lop (afl-fuzz) (#504) 2016-12-06 17:18:04 +01:00
ygrek 33fa0a0a86 fixup! tweak hashbang test 2016-11-26 19:41:30 -08:00
octachron dcceb46358 Ocamldoc: improve support for inline records
This commit improves support for inline record and associated
documentation within ocamldoc. Note that the support for documentation
on inline record field could be improved in the various ocamldoc
backends.
2016-07-28 02:21:16 +02:00
Jeremie Dimino 389562ca88 added a test for Env.Persistent_signature.load 2016-07-21 13:20:50 +01:00
Fabrice Le Fessant f26c0ff8b6 Add plugins in the compiler 2016-07-18 17:43:05 +02:00
Sébastien Hinderer cd014877ed Tell git to ignore a few files created while running the testsuite.
This is a follow-up to commit 888a9745d9
2016-06-27 16:10:35 +02:00
Sébastien Hinderer 63436acb38 .gitignore fix: /tools/cvt_emit.opt was mentionned twice. 2016-06-15 11:42:37 +02:00
Sébastien Hinderer 6bb28b617b Tell git to ignore tools/{dumpobj.opt,ocamlmktop.opt,ocamlmklib.opt}. 2016-06-15 11:41:32 +02:00
Demi Obenour d89af40f64 Install native versions of tools by default.
Previously, `ocamlc`, `ocamlopt`, `ocamllex`, and `ocamldep` defaulted
to the bytecode versions of the tools.  However, there is normally no
advantage to the bytecode versions if the native-code versions are
available, except in unusual circumstances.  Instead, install the
native-code versions without the `.opt` suffix.  They are still
installed with the `.opt` suffix for backwards compatibility.  Finally,
install the bytecode versions with the `.byte` suffix, and build
native-code versions of tools that are not currently built in native
code.

Also, remove some duplication in tools/Makefile.shared.

Supersedes GPR #512.
2016-06-06 14:44:10 -04:00
François Bobot 2aec849922 Merge remote-tracking branch 'origin/4.03' into trunk
travis.yml is kept from trunk

Conflicts:
  	.depend
	Changes
	Makefile
	VERSION
	boot/ocamlc
	boot/ocamldep
	boot/ocamllex
	parsing/parser.mly
	parsing/pprintast.ml
	stdlib/hashtbl.ml
	testsuite/tests/unwind/Makefile
	tools/check-typo
2016-03-11 18:44:32 +01:00
Jeremie Dimino 3cd841b676 Switch typing-immediate to expect tests 2016-03-01 10:36:24 +00:00
Jeremie Dimino 216119d222 Add support for expect test in the testsuite 2016-03-01 10:36:24 +00:00
Damien Doligez 7fde82a5c5 ignore manifest files 2016-02-24 14:40:12 +01:00
Damien Doligez c697788be1 add a file in compilerlibs to make git happy 2016-02-19 14:12:01 +01:00
Damien Doligez 49a8bfb5a9 add a file in compilerlibs to make git happy 2016-02-19 14:11:01 +01: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
Mark Shinwell 81ef7f714f Merge pull request #446 from chambart/travis_test_flambda
GPR#446: Travis also test flambda
2016-02-03 07:45:18 +00:00
Damien Doligez 4863299e4a ignore generated files "testsuite/_retries" 2016-01-29 14:22:44 +01:00
Pierre Chambart bd38c58362 Ignore .opt_result files in the testsuite 2016-01-28 18:47:34 +01:00
David Allsopp 7d2e2afd12 Missing items from .gitignore 2016-01-25 15:08:01 +00:00
Damien Doligez 2805d27142 ignore generated files in manual 2015-12-28 14:23:43 +01:00
Leo White c9f6e35c77 Add test for warning 58 2015-12-26 08:29:49 +00:00
Damien Doligez 423ddc84cb Merge pull request #297 from damiendoligez/trunk-gc-patches
GC latency improvements
2015-12-21 16:07:37 +01:00
Damien Doligez 2d8d650b19 ignore new executables in tools 2015-12-21 14:44:13 +01:00
Damien Doligez bfc06f52f8 ignore generated files for the instrumented runtime 2015-12-21 14:27:47 +01:00
Damien Doligez 7cb9a80744 simplify .gitignore; remove .ignore files and tools/setignore; adjust tools/check-typo 2015-11-06 16:25:05 +01:00
Gabriel Scherer fe9b432f8c Add asmrun/backtrace.c to .gitignore
From: Frédéric Bour <frederic.bour@lakaban.net>

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16369 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2015-08-22 06:04:26 +00:00
Gabriel Scherer 7ca29ef3f7 PR#5887: move the byterun/*.h headers to byterun/caml/*.h to avoid header name clashes
(Jérôme Vouillon and Adrien Nader and Peter Zotov)


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15757 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-12-27 14:41:49 +00:00
Gabriel Scherer 055d5ff07f PR#6714: allow [@@ocaml.warning] on most structure and signature items (values, modules, module types)
(Peter Zotov)

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15752 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-12-27 08:44:50 +00:00
Gabriel Scherer d96b151e0c update .gitignore
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15673 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-12-14 21:52:01 +00:00