Skip to content

Commit

Permalink
Pull BER n100 sources from the github mirror.
Browse files Browse the repository at this point in the history
The patch file is no longer available at the current URL.
  • Loading branch information
yallop committed Jul 26, 2017
1 parent 61835aa commit 9fc9b25
Showing 1 changed file with 4 additions and 5 deletions.
9 changes: 4 additions & 5 deletions compilers/4.00.1/4.00.1+BER/4.00.1+BER.comp
@@ -1,16 +1,15 @@
opam-version: "1"
version: "4.00.1"
src: "http://caml.inria.fr/pub/distrib/ocaml-4.00/ocaml-4.00.1.tar.bz2"
patches: ["http://eneide.happyleptic.org/~rixed/metaocaml-opam/ber.patch"]
src: "https://github.com/metaocaml/ber-metaocaml/archive/ber-N100.tar.gz"
build: [
["./configure" "-prefix" prefix "-no-tk"]
[make "-C" "metalib" "patch"]
[make "core"]
[make "coreboot"]
[make "all"]
[make "ocamlopt"]
[make "-i" "install"]
[make "-C" "ber-metaocaml-100" "all"]
[make "-C" "ber-metaocaml-100" "install"]
[make "-C" "metalib" "all"]
[make "-C" "metalib" "install"]
]
packages: [
"base-unix"
Expand Down

0 comments on commit 9fc9b25

Please sign in to comment.