this repo has no description
0
fork

Configure Feed

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

Merge pull request #16357 from avsm/nnpcheck

add ocaml.4.10.0+nnpcheck to dynamically check for naked pointers

authored by

Kate and committed by
GitHub
a2aa27b4 20c8798d

+41
+41
packages/ocaml-variants/ocaml-variants.4.10.0+nnpcheck/opam
··· 1 + opam-version: "2.0" 2 + synopsis: "Official release 4.10.0, with a dynamic check for naked pointers" 3 + maintainer: "platform@lists.ocaml.org" 4 + authors: "Xavier Leroy and many contributors" 5 + homepage: "https://ocaml.org" 6 + bug-reports: "https://github.com/ocaml/ocaml/issues" 7 + dev-repo: "git://github.com/ocaml/ocaml" 8 + depends: [ 9 + "ocaml" {= "4.10.0" & post} 10 + "base-unix" {post} 11 + "base-bigarray" {post} 12 + "base-threads" {post} 13 + ] 14 + conflict-class: "ocaml-core-compiler" 15 + flags: compiler 16 + setenv: CAML_LD_LIBRARY_PATH = "%{lib}%/stublibs" 17 + build: [ 18 + ["./configure" "--prefix=%{prefix}%" "--enable-frame-pointers"] 19 + {os != "openbsd" & os != "freebsd" & os != "macos"} 20 + [ 21 + "./configure" 22 + "--prefix=%{prefix}%" 23 + "CC=cc" 24 + "ASPP=cc -c" 25 + ] {os = "openbsd" | os = "freebsd" | os = "macos"} 26 + [make "-j%{jobs}%" {os != "cygwin"} "world"] 27 + [make "-j%{jobs}%" {os != "cygwin"} "world.opt"] 28 + ] 29 + install: [make "install"] 30 + url { 31 + src: "git+https://github.com/kayceesrk/ocaml.git#4.10.0+nnp+check" 32 + } 33 + post-messages: [ 34 + "A failure in the middle of the build may be caused by build parallelism 35 + (enabled by default). 36 + Please file a bug report at https://github.com/ocaml/ocaml/issues" 37 + {failure & jobs > 1 & os != "cygwin"} 38 + "You can try installing again including --jobs=1 39 + to force a sequential build instead." 40 + {failure & jobs > 1 & os != "cygwin" & opam-version >= "2.0.5"} 41 + ]