Skip to content

Commit

Permalink
Merge pull request #14257 from gasche/ocaml-compiler-parallel-build
Browse files Browse the repository at this point in the history
ocaml compiler distribution: use parallel build for OCaml 4.07 and above
  • Loading branch information
kit-ty-kate authored Jul 13, 2019
2 parents 7dea45e + 7dbaa58 commit daf44b5
Show file tree
Hide file tree
Showing 120 changed files with 1,315 additions and 235 deletions.
13 changes: 11 additions & 2 deletions packages/ocaml-base-compiler/ocaml-base-compiler.4.07.0/opam
Original file line number Diff line number Diff line change
Expand Up @@ -23,11 +23,20 @@ build: [
"-aspp"
"cc -c"
] {os = "openbsd" | os = "freebsd" | os = "macos"}
[make "world"]
[make "world.opt"]
[make "-j%{jobs}%" {os != "cygwin"} "world"]
[make "-j%{jobs}%" {os != "cygwin"} "world.opt"]
]
install: [make "install"]
url {
src: "https://github.com/ocaml/ocaml/archive/4.07.0.tar.gz"
checksum: "md5=1f78bb35a2f15d5ec737ee6a8dc6890d"
}
post-messages: [
"A failure in the middle of the build may be caused by build parallelism
(enabled by default).
Please file a bug report at https://github.com/ocaml/ocaml/issues"
{failure & jobs > 1 & os != "cygwin"}
"You can try installing again including --jobs=1
to force a sequential build instead."
{failure & jobs > 1 & os != "cygwin" & opam-version >= "2.0.5"}
]
13 changes: 11 additions & 2 deletions packages/ocaml-base-compiler/ocaml-base-compiler.4.07.1/opam
Original file line number Diff line number Diff line change
Expand Up @@ -23,11 +23,20 @@ build: [
"-aspp"
"cc -c"
] {os = "openbsd" | os = "freebsd" | os = "macos"}
[make "world"]
[make "world.opt"]
[make "-j%{jobs}%" {os != "cygwin"} "world"]
[make "-j%{jobs}%" {os != "cygwin"} "world.opt"]
]
install: [make "install"]
url {
src: "https://github.com/ocaml/ocaml/archive/4.07.1.tar.gz"
checksum: "md5=352fe8d46cb238a26aa10c38bad6ecb6"
}
post-messages: [
"A failure in the middle of the build may be caused by build parallelism
(enabled by default).
Please file a bug report at https://github.com/ocaml/ocaml/issues"
{failure & jobs > 1 & os != "cygwin"}
"You can try installing again including --jobs=1
to force a sequential build instead."
{failure & jobs > 1 & os != "cygwin" & opam-version >= "2.0.5"}
]
13 changes: 11 additions & 2 deletions packages/ocaml-variants/ocaml-variants.4.07.0+32bit/opam
Original file line number Diff line number Diff line change
Expand Up @@ -42,11 +42,20 @@ build: [
"-host"
"i386-apple-darwin13.2.0"
] {os = "macos"}
[make "world"]
[make "world.opt"]
[make "-j%{jobs}%" {os != "cygwin"} "world"]
[make "-j%{jobs}%" {os != "cygwin"} "world.opt"]
]
install: [make "install"]
url {
src: "https://github.com/ocaml/ocaml/archive/4.07.0.tar.gz"
checksum: "md5=1f78bb35a2f15d5ec737ee6a8dc6890d"
}
post-messages: [
"A failure in the middle of the build may be caused by build parallelism
(enabled by default).
Please file a bug report at https://github.com/ocaml/ocaml/issues"
{failure & jobs > 1 & os != "cygwin"}
"You can try installing again including --jobs=1
to force a sequential build instead."
{failure & jobs > 1 & os != "cygwin" & opam-version >= "2.0.5"}
]
13 changes: 11 additions & 2 deletions packages/ocaml-variants/ocaml-variants.4.07.0+afl/opam
Original file line number Diff line number Diff line change
Expand Up @@ -23,11 +23,20 @@ build: [
"-aspp"
"cc -c"
] {os = "openbsd" | os = "freebsd" | os = "macos"}
[make "world"]
[make "world.opt"]
[make "-j%{jobs}%" {os != "cygwin"} "world"]
[make "-j%{jobs}%" {os != "cygwin"} "world.opt"]
]
install: [make "install"]
url {
src: "https://github.com/ocaml/ocaml/archive/4.07.0.tar.gz"
checksum: "md5=1f78bb35a2f15d5ec737ee6a8dc6890d"
}
post-messages: [
"A failure in the middle of the build may be caused by build parallelism
(enabled by default).
Please file a bug report at https://github.com/ocaml/ocaml/issues"
{failure & jobs > 1 & os != "cygwin"}
"You can try installing again including --jobs=1
to force a sequential build instead."
{failure & jobs > 1 & os != "cygwin" & opam-version >= "2.0.5"}
]
13 changes: 11 additions & 2 deletions packages/ocaml-variants/ocaml-variants.4.07.0+beta2+afl/opam
Original file line number Diff line number Diff line change
Expand Up @@ -23,11 +23,20 @@ build: [
"-aspp"
"cc -c"
] {os = "openbsd" | os = "freebsd" | os = "macos"}
[make "world"]
[make "world.opt"]
[make "-j%{jobs}%" {os != "cygwin"} "world"]
[make "-j%{jobs}%" {os != "cygwin"} "world.opt"]
]
install: [make "install"]
url {
src: "https://github.com/ocaml/ocaml/archive/4.07.0+beta2.tar.gz"
checksum: "md5=7730fea507d108b5e30ced23613980c8"
}
post-messages: [
"A failure in the middle of the build may be caused by build parallelism
(enabled by default).
Please file a bug report at https://github.com/ocaml/ocaml/issues"
{failure & jobs > 1 & os != "cygwin"}
"You can try installing again including --jobs=1
to force a sequential build instead."
{failure & jobs > 1 & os != "cygwin" & opam-version >= "2.0.5"}
]
Original file line number Diff line number Diff line change
Expand Up @@ -29,11 +29,20 @@ build: [
"-aspp"
"cc -c"
] {os = "openbsd" | os = "freebsd" | os = "macos"}
[make "world"]
[make "world.opt"]
[make "-j%{jobs}%" {os != "cygwin"} "world"]
[make "-j%{jobs}%" {os != "cygwin"} "world.opt"]
]
install: [make "install"]
url {
src: "https://github.com/ocaml/ocaml/archive/4.07.0+beta2.tar.gz"
checksum: "md5=7730fea507d108b5e30ced23613980c8"
}
post-messages: [
"A failure in the middle of the build may be caused by build parallelism
(enabled by default).
Please file a bug report at https://github.com/ocaml/ocaml/issues"
{failure & jobs > 1 & os != "cygwin"}
"You can try installing again including --jobs=1
to force a sequential build instead."
{failure & jobs > 1 & os != "cygwin" & opam-version >= "2.0.5"}
]
13 changes: 11 additions & 2 deletions packages/ocaml-variants/ocaml-variants.4.07.0+beta2+flambda/opam
Original file line number Diff line number Diff line change
Expand Up @@ -24,11 +24,20 @@ build: [
"-aspp"
"cc -c"
] {os = "openbsd" | os = "freebsd" | os = "macos"}
[make "world"]
[make "world.opt"]
[make "-j%{jobs}%" {os != "cygwin"} "world"]
[make "-j%{jobs}%" {os != "cygwin"} "world.opt"]
]
install: [make "install"]
url {
src: "https://github.com/ocaml/ocaml/archive/4.07.0+beta2.tar.gz"
checksum: "md5=7730fea507d108b5e30ced23613980c8"
}
post-messages: [
"A failure in the middle of the build may be caused by build parallelism
(enabled by default).
Please file a bug report at https://github.com/ocaml/ocaml/issues"
{failure & jobs > 1 & os != "cygwin"}
"You can try installing again including --jobs=1
to force a sequential build instead."
{failure & jobs > 1 & os != "cygwin" & opam-version >= "2.0.5"}
]
Original file line number Diff line number Diff line change
Expand Up @@ -24,11 +24,20 @@ build: [
"-aspp"
"cc -c"
] {os = "openbsd" | os = "freebsd" | os = "macos"}
[make "world"]
[make "world.opt"]
[make "-j%{jobs}%" {os != "cygwin"} "world"]
[make "-j%{jobs}%" {os != "cygwin"} "world.opt"]
]
install: [make "install"]
url {
src: "https://github.com/ocaml/ocaml/archive/4.07.0+beta2.tar.gz"
checksum: "md5=7730fea507d108b5e30ced23613980c8"
}
post-messages: [
"A failure in the middle of the build may be caused by build parallelism
(enabled by default).
Please file a bug report at https://github.com/ocaml/ocaml/issues"
{failure & jobs > 1 & os != "cygwin"}
"You can try installing again including --jobs=1
to force a sequential build instead."
{failure & jobs > 1 & os != "cygwin" & opam-version >= "2.0.5"}
]
Original file line number Diff line number Diff line change
Expand Up @@ -31,11 +31,20 @@ build: [
"-aspp"
"cc -c"
] {os = "openbsd" | os = "freebsd" | os = "macos"}
[make "world"]
[make "world.opt"]
[make "-j%{jobs}%" {os != "cygwin"} "world"]
[make "-j%{jobs}%" {os != "cygwin"} "world.opt"]
]
install: [make "install"]
url {
src: "https://github.com/ocaml/ocaml/archive/4.07.0+beta2.tar.gz"
checksum: "md5=7730fea507d108b5e30ced23613980c8"
}
post-messages: [
"A failure in the middle of the build may be caused by build parallelism
(enabled by default).
Please file a bug report at https://github.com/ocaml/ocaml/issues"
{failure & jobs > 1 & os != "cygwin"}
"You can try installing again including --jobs=1
to force a sequential build instead."
{failure & jobs > 1 & os != "cygwin" & opam-version >= "2.0.5"}
]
13 changes: 11 additions & 2 deletions packages/ocaml-variants/ocaml-variants.4.07.0+beta2+fp/opam
Original file line number Diff line number Diff line change
Expand Up @@ -29,11 +29,20 @@ build: [
"-aspp"
"cc -c"
] {os = "openbsd" | os = "freebsd" | os = "macos"}
[make "world"]
[make "world.opt"]
[make "-j%{jobs}%" {os != "cygwin"} "world"]
[make "-j%{jobs}%" {os != "cygwin"} "world.opt"]
]
install: [make "install"]
url {
src: "https://github.com/ocaml/ocaml/archive/4.07.0+beta2.tar.gz"
checksum: "md5=7730fea507d108b5e30ced23613980c8"
}
post-messages: [
"A failure in the middle of the build may be caused by build parallelism
(enabled by default).
Please file a bug report at https://github.com/ocaml/ocaml/issues"
{failure & jobs > 1 & os != "cygwin"}
"You can try installing again including --jobs=1
to force a sequential build instead."
{failure & jobs > 1 & os != "cygwin" & opam-version >= "2.0.5"}
]
13 changes: 11 additions & 2 deletions packages/ocaml-variants/ocaml-variants.4.07.0+beta2/opam
Original file line number Diff line number Diff line change
Expand Up @@ -23,11 +23,20 @@ build: [
"-aspp"
"cc -c"
] {os = "openbsd" | os = "freebsd" | os = "macos"}
[make "world"]
[make "world.opt"]
[make "-j%{jobs}%" {os != "cygwin"} "world"]
[make "-j%{jobs}%" {os != "cygwin"} "world.opt"]
]
install: [make "install"]
url {
src: "https://github.com/ocaml/ocaml/archive/4.07.0+beta2.tar.gz"
checksum: "md5=7730fea507d108b5e30ced23613980c8"
}
post-messages: [
"A failure in the middle of the build may be caused by build parallelism
(enabled by default).
Please file a bug report at https://github.com/ocaml/ocaml/issues"
{failure & jobs > 1 & os != "cygwin"}
"You can try installing again including --jobs=1
to force a sequential build instead."
{failure & jobs > 1 & os != "cygwin" & opam-version >= "2.0.5"}
]
11 changes: 10 additions & 1 deletion packages/ocaml-variants/ocaml-variants.4.07.0+bytecode-only/opam
Original file line number Diff line number Diff line change
Expand Up @@ -24,10 +24,19 @@ build: [
"-aspp"
"cc -c"
] {os = "openbsd" | os = "freebsd" | os = "macos"}
[make "world"]
[make "-j%{jobs}%" {os != "cygwin"} "world"]
]
install: [make "install"]
url {
src: "https://github.com/ocaml/ocaml/archive/4.07.0.tar.gz"
checksum: "md5=1f78bb35a2f15d5ec737ee6a8dc6890d"
}
post-messages: [
"A failure in the middle of the build may be caused by build parallelism
(enabled by default).
Please file a bug report at https://github.com/ocaml/ocaml/issues"
{failure & jobs > 1 & os != "cygwin"}
"You can try installing again including --jobs=1
to force a sequential build instead."
{failure & jobs > 1 & os != "cygwin" & opam-version >= "2.0.5"}
]
Original file line number Diff line number Diff line change
Expand Up @@ -29,11 +29,20 @@ build: [
"-aspp"
"cc -c"
] {os = "openbsd" | os = "freebsd" | os = "macos"}
[make "world"]
[make "world.opt"]
[make "-j%{jobs}%" {os != "cygwin"} "world"]
[make "-j%{jobs}%" {os != "cygwin"} "world.opt"]
]
install: [make "install"]
url {
src: "https://github.com/ocaml/ocaml/archive/4.07.0.tar.gz"
checksum: "md5=1f78bb35a2f15d5ec737ee6a8dc6890d"
}
post-messages: [
"A failure in the middle of the build may be caused by build parallelism
(enabled by default).
Please file a bug report at https://github.com/ocaml/ocaml/issues"
{failure & jobs > 1 & os != "cygwin"}
"You can try installing again including --jobs=1
to force a sequential build instead."
{failure & jobs > 1 & os != "cygwin" & opam-version >= "2.0.5"}
]
Original file line number Diff line number Diff line change
Expand Up @@ -32,11 +32,20 @@ build: [
"-aspp"
"cc -c"
] {os = "openbsd" | os = "freebsd" | os = "macos"}
[make "world"]
[make "world.opt"]
[make "-j%{jobs}%" {os != "cygwin"} "world"]
[make "-j%{jobs}%" {os != "cygwin"} "world.opt"]
]
install: [make "install"]
url {
src: "https://github.com/ocaml/ocaml/archive/4.07.0.tar.gz"
checksum: "md5=1f78bb35a2f15d5ec737ee6a8dc6890d"
}
post-messages: [
"A failure in the middle of the build may be caused by build parallelism
(enabled by default).
Please file a bug report at https://github.com/ocaml/ocaml/issues"
{failure & jobs > 1 & os != "cygwin"}
"You can try installing again including --jobs=1
to force a sequential build instead."
{failure & jobs > 1 & os != "cygwin" & opam-version >= "2.0.5"}
]
13 changes: 11 additions & 2 deletions packages/ocaml-variants/ocaml-variants.4.07.0+flambda/opam
Original file line number Diff line number Diff line change
Expand Up @@ -24,11 +24,20 @@ build: [
"-aspp"
"cc -c"
] {os = "openbsd" | os = "freebsd" | os = "macos"}
[make "world"]
[make "world.opt"]
[make "-j%{jobs}%" {os != "cygwin"} "world"]
[make "-j%{jobs}%" {os != "cygwin"} "world.opt"]
]
install: [make "install"]
url {
src: "https://github.com/ocaml/ocaml/archive/4.07.0.tar.gz"
checksum: "md5=1f78bb35a2f15d5ec737ee6a8dc6890d"
}
post-messages: [
"A failure in the middle of the build may be caused by build parallelism
(enabled by default).
Please file a bug report at https://github.com/ocaml/ocaml/issues"
{failure & jobs > 1 & os != "cygwin"}
"You can try installing again including --jobs=1
to force a sequential build instead."
{failure & jobs > 1 & os != "cygwin" & opam-version >= "2.0.5"}
]
Original file line number Diff line number Diff line change
Expand Up @@ -24,11 +24,20 @@ build: [
"-aspp"
"cc -c"
] {os = "openbsd" | os = "freebsd" | os = "macos"}
[make "world"]
[make "world.opt"]
[make "-j%{jobs}%" {os != "cygwin"} "world"]
[make "-j%{jobs}%" {os != "cygwin"} "world.opt"]
]
install: [make "install"]
url {
src: "https://github.com/ocaml/ocaml/archive/4.07.0.tar.gz"
checksum: "md5=1f78bb35a2f15d5ec737ee6a8dc6890d"
}
post-messages: [
"A failure in the middle of the build may be caused by build parallelism
(enabled by default).
Please file a bug report at https://github.com/ocaml/ocaml/issues"
{failure & jobs > 1 & os != "cygwin"}
"You can try installing again including --jobs=1
to force a sequential build instead."
{failure & jobs > 1 & os != "cygwin" & opam-version >= "2.0.5"}
]
13 changes: 11 additions & 2 deletions packages/ocaml-variants/ocaml-variants.4.07.0+fp+flambda/opam
Original file line number Diff line number Diff line change
Expand Up @@ -31,11 +31,20 @@ build: [
"-aspp"
"cc -c"
] {os = "openbsd" | os = "freebsd" | os = "macos"}
[make "world"]
[make "world.opt"]
[make "-j%{jobs}%" {os != "cygwin"} "world"]
[make "-j%{jobs}%" {os != "cygwin"} "world.opt"]
]
install: [make "install"]
url {
src: "https://github.com/ocaml/ocaml/archive/4.07.0.tar.gz"
checksum: "md5=1f78bb35a2f15d5ec737ee6a8dc6890d"
}
post-messages: [
"A failure in the middle of the build may be caused by build parallelism
(enabled by default).
Please file a bug report at https://github.com/ocaml/ocaml/issues"
{failure & jobs > 1 & os != "cygwin"}
"You can try installing again including --jobs=1
to force a sequential build instead."
{failure & jobs > 1 & os != "cygwin" & opam-version >= "2.0.5"}
]
Loading

0 comments on commit daf44b5

Please sign in to comment.