this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Merge pull request #19957 from Octachron/OCaml_4.14.0_branching

OCaml 4.14: dev packages

authored by

Kate and committed by
GitHub
a349ee91 87ef72b5

+113 -4
+4 -4
packages/ocaml-variants/ocaml-variants.4.14.0+trunk/opam
··· 1 1 opam-version: "2.0" 2 2 license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception" 3 - synopsis: "Current trunk" 3 + synopsis: "Latest 4.14.0 development" 4 4 maintainer: "platform@lists.ocaml.org" 5 5 authors: ["Xavier Leroy" "Damien Doligez" "Alain Frisch" "Jacques Garrigue" "Didier Rémy" "Jérôme Vouillon"] 6 6 homepage: "https://ocaml.org" ··· 52 52 ] 53 53 install: [make "install"] 54 54 url { 55 - src: "https://github.com/ocaml/ocaml/archive/trunk.tar.gz" 55 + src: "https://github.com/ocaml/ocaml/archive/4.14.tar.gz" 56 56 } 57 57 post-messages: [ 58 58 "A failure in the middle of the build may be caused by build parallelism 59 59 (enabled by default). 60 60 See https://github.com/ocaml/opam-repository/pull/14257 for more info." 61 - {failure & jobs > 1 & os != "cygwin"} 61 + {failure & jobs > 1} 62 62 "You can try installing again including --jobs=1 63 63 to force a sequential build instead." 64 - {failure & jobs > 1 & os != "cygwin" & opam-version >= "2.0.5"} 64 + {failure & jobs > 1 & opam-version >= "2.0.5"} 65 65 ] 66 66 depopts: [ 67 67 "ocaml-option-32bit"
+79
packages/ocaml-variants/ocaml-variants.5.0.0+trunk/opam
··· 1 + opam-version: "2.0" 2 + license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception" 3 + synopsis: "Current trunk" 4 + maintainer: "platform@lists.ocaml.org" 5 + authors: ["Xavier Leroy" "Damien Doligez" "Alain Frisch" "Jacques Garrigue" "Didier Rémy" "Jérôme Vouillon"] 6 + homepage: "https://ocaml.org" 7 + bug-reports: "https://github.com/ocaml/opam-repository/issues" 8 + dev-repo: "git+https://github.com/ocaml/ocaml.git#trunk" 9 + depends: [ 10 + "ocaml" {= "5.0.0" & post} 11 + "base-unix" {post} 12 + "base-bigarray" {post} 13 + "base-threads" {post} 14 + "ocaml-beta" {opam-version < "2.1"} 15 + ] 16 + conflict-class: "ocaml-core-compiler" 17 + flags: [ compiler hidden-version avoid-version ] 18 + setenv: CAML_LD_LIBRARY_PATH = "%{lib}%/stublibs" 19 + build: [ 20 + [ 21 + "./configure" 22 + "--prefix=%{prefix}%" 23 + "-C" 24 + "--with-afl" {ocaml-option-afl:installed} 25 + "--disable-native-compiler" {ocaml-option-bytecode-only:installed} 26 + "--disable-force-safe-string" {ocaml-option-default-unsafe-string:installed} 27 + "DEFAULT_STRING=unsafe" {ocaml-option-default-unsafe-string:installed} 28 + "--disable-flat-float-array" {ocaml-option-no-flat-float-array:installed} 29 + "--enable-flambda" {ocaml-option-flambda:installed} 30 + "--enable-frame-pointers" {ocaml-option-fp:installed} 31 + "--enable-spacetime" {ocaml-option-spacetime:installed} 32 + "--disable-naked-pointers" {ocaml-option-nnp:installed} 33 + "--enable-naked-pointers-checker" {ocaml-option-nnpchecker:installed} 34 + "CC=cc" {!ocaml-option-32bit:installed & !ocaml-option-musl:installed & (os="openbsd"|os="macos")} 35 + "CC=musl-gcc" {ocaml-option-musl:installed & os-distribution!="alpine"} 36 + "CFLAGS=-Os" {ocaml-option-musl:installed} 37 + "CC=gcc -m32" {ocaml-option-32bit:installed & os="linux"} 38 + "CC=gcc -Wl,-read_only_relocs,suppress -arch i386 -m32" {ocaml-option-32bit:installed & os="macos"} 39 + "ASPP=cc -c" {!ocaml-option-32bit:installed & !ocaml-option-musl:installed & (os="openbsd"|os="macos")} 40 + "ASPP=musl-gcc -c" {ocaml-option-musl:installed & os-distribution!="alpine"} 41 + "ASPP=gcc -m32 -c" {ocaml-option-32bit:installed & os="linux"} 42 + "ASPP=gcc -arch i386 -m32 -c" {ocaml-option-32bit:installed & os="macos"} 43 + "AS=as --32" {ocaml-option-32bit:installed & os="linux"} 44 + "AS=as -arch i386" {ocaml-option-32bit:installed & os="macos"} 45 + "--host=i386-linux" {ocaml-option-32bit:installed & os="linux"} 46 + "--host=i386-apple-darwin13.2.0" {ocaml-option-32bit:installed & os="macos"} 47 + "PARTIALLD=ld -r -melf_i386" {ocaml-option-32bit:installed & os="linux"} 48 + "LIBS=-static" {ocaml-option-static:installed} 49 + "--disable-warn-error" 50 + ] 51 + [make "-j%{jobs}%"] 52 + ] 53 + install: [make "install"] 54 + url { 55 + src: "https://github.com/ocaml/ocaml/archive/trunk.tar.gz" 56 + } 57 + post-messages: [ 58 + "A failure in the middle of the build may be caused by build parallelism 59 + (enabled by default). 60 + See https://github.com/ocaml/opam-repository/pull/14257 for more info." 61 + {failure & jobs > 1 & os != "cygwin"} 62 + "You can try installing again including --jobs=1 63 + to force a sequential build instead." 64 + {failure & jobs > 1 & os != "cygwin" & opam-version >= "2.0.5"} 65 + ] 66 + depopts: [ 67 + "ocaml-option-32bit" 68 + "ocaml-option-afl" 69 + "ocaml-option-bytecode-only" 70 + "ocaml-option-default-unsafe-string" 71 + "ocaml-option-no-flat-float-array" 72 + "ocaml-option-flambda" 73 + "ocaml-option-fp" 74 + "ocaml-option-musl" 75 + "ocaml-option-static" 76 + "ocaml-option-spacetime" 77 + "ocaml-option-nnp" 78 + "ocaml-option-nnpchecker" 79 + ]
+30
packages/ocaml/ocaml.5.0.0/opam
··· 1 + opam-version: "2.0" 2 + license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception" 3 + synopsis: "The OCaml compiler (virtual package)" 4 + description: """ 5 + This package requires a matching implementation of OCaml, 6 + and polls it to initialise specific variables like `ocaml:native-dynlink`""" 7 + maintainer: "platform@lists.ocaml.org" 8 + depends: [ 9 + "ocaml-config" {>= "2"} 10 + "ocaml-base-compiler" {= "5.0.0"} | 11 + "ocaml-variants" {>= "5.0.0" & < "5.0.1~"} | 12 + "ocaml-system" {>= "5.0.0" & < "5.0.1~"} 13 + ] 14 + setenv: [ 15 + [CAML_LD_LIBRARY_PATH = "%{_:stubsdir}%"] 16 + [CAML_LD_LIBRARY_PATH += "%{lib}%/stublibs"] 17 + [OCAML_TOPLEVEL_PATH = "%{toplevel}%"] 18 + ] 19 + build: ["ocaml" "%{ocaml-config:share}%/gen_ocaml_config.ml" _:version _:name] 20 + build-env: CAML_LD_LIBRARY_PATH = "" 21 + homepage: "https://ocaml.org" 22 + bug-reports: "https://github.com/ocaml/opam-repository/issues" 23 + authors: [ 24 + "Xavier Leroy" 25 + "Damien Doligez" 26 + "Alain Frisch" 27 + "Jacques Garrigue" 28 + "Didier Rémy" 29 + "Jérôme Vouillon" 30 + ]