Skip to content

Commit 09d0c99

Browse files
committed
flambda2 4.12 --> 4.14
1 parent 35aca0d commit 09d0c99

File tree

3 files changed

+10
-57
lines changed
  • packages/ocaml-variants
    • ocaml-variants.4.12.0+pr867+flambda2
    • ocaml-variants.4.14.0+flambda1
    • ocaml-variants.4.14.0+flambda2

3 files changed

+10
-57
lines changed

packages/ocaml-variants/ocaml-variants.4.12.0+pr867+flambda2/opam

-47
This file was deleted.

packages/ocaml-variants/ocaml-variants.4.12.0+flambda1/opam renamed to packages/ocaml-variants/ocaml-variants.4.14.0+flambda1/opam

+5-5
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,12 @@
11
opam-version: "2.0"
2-
synopsis: "Latest 4.12 development"
2+
synopsis: "Latest 4.14 development"
33
maintainer: "platform@lists.ocaml.org"
44
authors: ["Xavier Leroy" "Damien Doligez" "Alain Frisch" "Jacques Garrigue" "Didier Rémy" "Jérôme Vouillon"]
55
homepage: "https://ocaml.org"
66
bug-reports: "https://github.com/ocaml/opam-repository/issues"
77
dev-repo: "git://github.com/ocaml-flambda/flambda-backend.git"
88
depends: [
9-
"ocaml" {= "4.12.0" & post}
9+
"ocaml" {= "4.14.0" & post}
1010
"base-unix" {post}
1111
"base-bigarray" {post}
1212
"base-threads" {post}
@@ -16,7 +16,7 @@ conflict-class: "ocaml-core-compiler"
1616
flags: [ compiler avoid-version ]
1717
setenv: CAML_LD_LIBRARY_PATH = "%{lib}%/stublibs"
1818
install: [
19-
["sh" "-c" "cd \"${TMPDIR:-/tmp}\" && mv \"%{build}%\"/*.tar.gz \"%{build}%\"/alt-signal-stack.patch . && tar xvf special_dune.tar.gz && tar xvf ocaml-4.12.0.tar.gz && cd ocaml-4.12.0 && patch -p1 < ../alt-signal-stack.patch && ./configure \"--prefix=${TMPDIR:-/tmp}/ocaml\" && make -j%{jobs}% && make install && PATH=\"${TMPDIR:-/tmp}/ocaml/bin:$PATH\" %{make}% -C \"${TMPDIR:-/tmp}/dune-special_dune\" release && cp \"${TMPDIR:-/tmp}/dune-special_dune/dune.exe\" \"%{build}%/\" && cd \"%{build}%\" && autoconf && PATH=\"${TMPDIR:-/tmp}/ocaml/bin:$PATH\" ./configure \"--prefix=%{prefix}%\" --enable-middle-end=flambda \"--with-dune=%{build}%/dune.exe\" && PATH=\"${TMPDIR:-/tmp}/ocaml/bin:$PATH\" \"%{make}%\" -j%{jobs}% && PATH=\"${TMPDIR:-/tmp}/ocaml/bin:$PATH\" \"%{make}%\" install"]
19+
["sh" "-c" "cd \"${TMPDIR:-/tmp}\" && mv \"%{build}%\"/*.tar.gz \"%{build}%\"/alt-signal-stack.patch . && tar xvf special_dune.tar.gz && tar xvf ocaml-4.14.0.tar.gz && cd ocaml-4.14.0 && patch -p1 < ../alt-signal-stack.patch && ./configure \"--prefix=${TMPDIR:-/tmp}/ocaml\" && make -j%{jobs}% && make install && PATH=\"${TMPDIR:-/tmp}/ocaml/bin:$PATH\" %{make}% -C \"${TMPDIR:-/tmp}/dune-special_dune\" release && cp \"${TMPDIR:-/tmp}/dune-special_dune/dune.exe\" \"%{build}%/\" && cd \"%{build}%\" && autoconf && PATH=\"${TMPDIR:-/tmp}/ocaml/bin:$PATH\" ./configure \"--prefix=%{prefix}%\" --enable-middle-end=flambda \"--with-dune=%{build}%/dune.exe\" && PATH=\"${TMPDIR:-/tmp}/ocaml/bin:$PATH\" \"%{make}%\" -j%{jobs}% && PATH=\"${TMPDIR:-/tmp}/ocaml/bin:$PATH\" \"%{make}%\" install"]
2020
]
2121
conflicts: [
2222
"ocaml-option-32bit"
@@ -35,8 +35,8 @@ conflicts: [
3535
extra-source "special_dune.tar.gz" {
3636
src: "https://github.com/ocaml-flambda/dune/archive/special_dune.tar.gz"
3737
}
38-
extra-source "ocaml-4.12.0.tar.gz" {
39-
src: "https://github.com/ocaml/ocaml/archive/4.12.0.tar.gz"
38+
extra-source "ocaml-4.14.0.tar.gz" {
39+
src: "https://github.com/ocaml/ocaml/archive/4.14.0.tar.gz"
4040
}
4141
url {
4242
src: "git+https://github.com/ocaml-flambda/flambda-backend.git"

packages/ocaml-variants/ocaml-variants.4.12.0+flambda2/opam renamed to packages/ocaml-variants/ocaml-variants.4.14.0+flambda2/opam

+5-5
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,12 @@
11
opam-version: "2.0"
2-
synopsis: "Latest 4.12 development"
2+
synopsis: "Latest 4.14 development"
33
maintainer: "platform@lists.ocaml.org"
44
authors: ["Xavier Leroy" "Damien Doligez" "Alain Frisch" "Jacques Garrigue" "Didier Rémy" "Jérôme Vouillon"]
55
homepage: "https://ocaml.org"
66
bug-reports: "https://github.com/ocaml/opam-repository/issues"
77
dev-repo: "git://github.com/ocaml-flambda/flambda-backend.git"
88
depends: [
9-
"ocaml" {= "4.12.0" & post}
9+
"ocaml" {= "4.14.0" & post}
1010
"base-unix" {post}
1111
"base-bigarray" {post}
1212
"base-threads" {post}
@@ -16,7 +16,7 @@ conflict-class: "ocaml-core-compiler"
1616
flags: [ compiler avoid-version ]
1717
setenv: CAML_LD_LIBRARY_PATH = "%{lib}%/stublibs"
1818
install: [
19-
["sh" "-c" "cd \"${TMPDIR:-/tmp}\" && mv \"%{build}%\"/*.tar.gz \"%{build}%\"/alt-signal-stack.patch . && tar xvf special_dune.tar.gz && tar xvf ocaml-4.12.0.tar.gz && cd ocaml-4.12.0 && patch -p1 < ../alt-signal-stack.patch && ./configure \"--prefix=${TMPDIR:-/tmp}/ocaml\" && make -j%{jobs}% && make install && PATH=\"${TMPDIR:-/tmp}/ocaml/bin:$PATH\" %{make}% -C \"${TMPDIR:-/tmp}/dune-special_dune\" release && cp \"${TMPDIR:-/tmp}/dune-special_dune/dune.exe\" \"%{build}%/\" && cd \"%{build}%\" && autoconf && PATH=\"${TMPDIR:-/tmp}/ocaml/bin:$PATH\" ./configure \"--prefix=%{prefix}%\" --enable-middle-end=flambda2 \"--with-dune=%{build}%/dune.exe\" && PATH=\"${TMPDIR:-/tmp}/ocaml/bin:$PATH\" \"%{make}%\" -j%{jobs}% && PATH=\"${TMPDIR:-/tmp}/ocaml/bin:$PATH\" \"%{make}%\" install"]
19+
["sh" "-c" "cd \"${TMPDIR:-/tmp}\" && mv \"%{build}%\"/*.tar.gz \"%{build}%\"/alt-signal-stack.patch . && tar xvf special_dune.tar.gz && tar xvf ocaml-4.14.0.tar.gz && cd ocaml-4.14.0 && patch -p1 < ../alt-signal-stack.patch && ./configure \"--prefix=${TMPDIR:-/tmp}/ocaml\" && make -j%{jobs}% && make install && PATH=\"${TMPDIR:-/tmp}/ocaml/bin:$PATH\" %{make}% -C \"${TMPDIR:-/tmp}/dune-special_dune\" release && cp \"${TMPDIR:-/tmp}/dune-special_dune/dune.exe\" \"%{build}%/\" && cd \"%{build}%\" && autoconf && PATH=\"${TMPDIR:-/tmp}/ocaml/bin:$PATH\" ./configure \"--prefix=%{prefix}%\" --enable-middle-end=flambda2 \"--with-dune=%{build}%/dune.exe\" && PATH=\"${TMPDIR:-/tmp}/ocaml/bin:$PATH\" \"%{make}%\" -j%{jobs}% && PATH=\"${TMPDIR:-/tmp}/ocaml/bin:$PATH\" \"%{make}%\" install"]
2020
]
2121
conflicts: [
2222
"ocaml-option-32bit"
@@ -35,8 +35,8 @@ conflicts: [
3535
extra-source "special_dune.tar.gz" {
3636
src: "https://github.com/ocaml-flambda/dune/archive/special_dune.tar.gz"
3737
}
38-
extra-source "ocaml-4.12.0.tar.gz" {
39-
src: "https://github.com/ocaml/ocaml/archive/4.12.0.tar.gz"
38+
extra-source "ocaml-4.14.0.tar.gz" {
39+
src: "https://github.com/ocaml/ocaml/archive/4.14.0.tar.gz"
4040
}
4141
url {
4242
src: "git+https://github.com/ocaml-flambda/flambda-backend.git"

0 commit comments

Comments
 (0)