-
Notifications
You must be signed in to change notification settings - Fork 191
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #314 from djs55/support-system-compiler
Update to OCaml 4.06.0
- Loading branch information
Showing
444 changed files
with
1,283 additions
and
1,460 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,22 @@ | ||
opam-version: "1" | ||
version: "4.06.0" | ||
src: "https://github.com/ocaml/ocaml/archive/4.06.0.tar.gz" | ||
build: [ | ||
["./configure" | ||
"-prefix" prefix "-with-debug-runtime" | ||
] { os != "openbsd" & os != "freebsd" & os != "darwin" } | ||
["./configure" | ||
"-prefix" prefix "-with-debug-runtime" | ||
"-cc" "cc" | ||
"-aspp" "cc -c" | ||
] { os = "openbsd" | os = "freebsd" | os = "darwin" } | ||
[make "world"] | ||
[make "world.opt"] | ||
[make "install"] | ||
] | ||
packages: [ | ||
"base-unix" | ||
"base-bigarray" | ||
"base-threads" | ||
] | ||
env: [[CAML_LD_LIBRARY_PATH = "%{lib}%/stublibs"]] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
Official 4.06.0 release |
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,61 @@ | ||
Logo](https://raw.githubusercontent.com/mirage/alcotest/master/alcotest-logo.png) | ||
|
||
Alcotest is a lightweight and colourful test framework. | ||
|
||
Alcotest exposes simple interface to perform unit tests. It exposes | ||
a simple `TESTABLE` module type, a `check` function to assert test | ||
predicates and a `run` function to perform a list of `unit -> unit` | ||
test callbacks. | ||
|
||
Alcotest provides a quiet and colorful output where only faulty runs | ||
are fully displayed at the end of the run (with the full logs ready to | ||
inspect), with a simple (yet expressive) query language to select the | ||
tests to run. | ||
|
||
[![Build Status](https://travis-ci.org/mirage/alcotest.svg)](https://travis-ci.org/mirage/alcotest) | ||
[![docs](https://img.shields.io/badge/doc-online-blue.svg)](https://mirage.github.io/alcotest/alcotest/index.html) | ||
|
||
### Examples | ||
|
||
A simple example: | ||
|
||
```ocaml | ||
(* Build with `ocamlbuild -pkg alcotest simple.byte` *) | ||
|
||
(* A module with functions to test *) | ||
module To_test = struct | ||
let capit letter = Char.uppercase letter | ||
let plus int_list = List.fold_left (fun a b -> a + b) 0 int_list | ||
end | ||
|
||
(* The tests *) | ||
let capit () = | ||
Alcotest.(check char) "same chars" 'A' (To_test.capit 'a') | ||
|
||
let plus () = | ||
Alcotest.(check int) "same ints" 7 (To_test.plus [1;1;2;3]) | ||
|
||
let test_set = [ | ||
"Capitalize" , `Quick, capit; | ||
"Add entries", `Slow , plus ; | ||
] | ||
|
||
(* Run it *) | ||
let () = | ||
Alcotest.run "My first test" [ | ||
"test_set", test_set; | ||
] | ||
``` | ||
|
||
The result is a self-contained binary which displays the test results. Use | ||
`./simple.byte --help` to see the runtime options. | ||
|
||
```shell | ||
$ ./simple.native | ||
[OK] test_set 0 Capitalize. | ||
[OK] test_set 1 Add entries. | ||
Test Successful in 0.001s. 2 tests run. | ||
``` | ||
|
||
See the [examples](https://github.com/mirage/alcotest/tree/master/examples) | ||
folder for more examples. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,2 @@ | ||
archive: "https://github.com/mirage/alcotest/releases/download/0.8.1/alcotest-0.8.1.tbz" | ||
checksum: "8b8d9f8c9e8c0b34c12e20e24db8dec3" |
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.
2 changes: 2 additions & 0 deletions
2
...win32/packages/upstream/base.v0.9.3/descr → ...rwin/packages/upstream/base.v0.10.0/descr
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,18 @@ | ||
opam-version: "1.2" | ||
maintainer: "[email protected]" | ||
authors: ["Jane Street Group, LLC <[email protected]>"] | ||
homepage: "https://github.com/janestreet/base" | ||
bug-reports: "https://github.com/janestreet/base/issues" | ||
dev-repo: "git+https://github.com/janestreet/base.git" | ||
license: "Apache-2.0" | ||
build: [ | ||
["jbuilder" "build" "-p" name "-j" jobs] | ||
] | ||
depends: [ | ||
"jbuilder" {build & >= "1.0+beta12"} | ||
"sexplib" {>= "v0.10" & < "v0.11"} | ||
] | ||
depopts: [ | ||
"base-native-int63" | ||
] | ||
available: [ ocaml-version >= "4.04.1" ] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,2 @@ | ||
archive: "https://ocaml.janestreet.com/ocaml-core/v0.10/files/base-v0.10.0.tar.gz" | ||
checksum: "60a9db475c689720cc7fc4304e00b00e" |
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.
File renamed without changes.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,2 @@ | ||
archive: "http://erratique.ch/software/bos/releases/bos-0.2.0.tbz" | ||
checksum: "aeae7447567db459c856ee41b5a66fd2" |
This file was deleted.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,2 @@ | ||
archive: "https://github.com/mirage/ocaml-cohttp/releases/download/v1.0.0/cohttp-1.0.0.tbz" | ||
checksum: "756f590576d4a60ce2382ef89274b44b" |
This file was deleted.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,2 @@ | ||
archive: "https://github.com/mirage/ocaml-cohttp/releases/download/v1.0.0/cohttp-1.0.0.tbz" | ||
checksum: "756f590576d4a60ce2382ef89274b44b" |
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.
File renamed without changes.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,16 @@ | ||
opam-version: "1.2" | ||
maintainer: "[email protected]" | ||
authors: ["Jane Street Group, LLC <[email protected]>"] | ||
homepage: "https://github.com/janestreet/configurator" | ||
bug-reports: "https://github.com/janestreet/configurator/issues" | ||
dev-repo: "git+https://github.com/janestreet/configurator.git" | ||
license: "Apache-2.0" | ||
build: [ | ||
["jbuilder" "build" "-p" name "-j" jobs] | ||
] | ||
depends: [ | ||
"base" {>= "v0.10" & < "v0.11"} | ||
"stdio" {>= "v0.10" & < "v0.11"} | ||
"jbuilder" {build & >= "1.0+beta12"} | ||
] | ||
available: [ ocaml-version >= "4.04.1" ] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,2 @@ | ||
archive: "https://ocaml.janestreet.com/ocaml-core/v0.10/files/configurator-v0.10.0.tar.gz" | ||
checksum: "d02f66dd5dc4dbc3017f78c51209ba6b" |
Oops, something went wrong.