diff options
author | Robert Norton <rmn30@cam.ac.uk> | 2019-05-24 11:18:51 +0100 |
---|---|---|
committer | Robert Norton <rmn30@cam.ac.uk> | 2019-05-24 12:55:18 +0100 |
commit | f70de87e8444b8783446768ba2b6669c858bf50f (patch) | |
tree | 39ab8fac933cc76761c2a00014fba814a3dd8395 /opam | |
parent | 8f2883bc2c1674fd0cf9b1097bca333fad2448b5 (diff) | |
download | sail-riscv-f70de87e8444b8783446768ba2b6669c858bf50f.zip sail-riscv-f70de87e8444b8783446768ba2b6669c858bf50f.tar.gz sail-riscv-f70de87e8444b8783446768ba2b6669c858bf50f.tar.bz2 |
Attempt to fix opam build with opam2: use a .install file and don't rely on opam being in path to get SAIL_DIR (which seems to be unreliable).
Diffstat (limited to 'opam')
-rw-r--r-- | opam | 7 |
1 files changed, 2 insertions, 5 deletions
@@ -17,14 +17,11 @@ homepage: "https://github.com/rems-project/sail-riscv/" bug-reports: "https://github.com/rems-project/sail-riscv/issues" license: "BSD3" dev-repo: "https://github.com/rems-project/sail-riscv.git" -build: [make "INSTALL_DIR=%{prefix}%" "opam-build"] -install: [make "INSTALL_DIR=%{prefix}%" "opam-install"] -remove: [ - make "INSTALL_DIR=%{prefix}%" "opam-uninstall" -] +build: [make "LEM_DIR=%{lem:share}%" "SAIL_DIR=%{sail:share}%" "SAIL=sail" "opam-build"] depends: [ "ocamlfind" "ocamlbuild" + "lem" "sail" {>= "0.9"} "linksem" {>= "0.3"} "conf-gmp" |