Commit 402ccde6 authored by Julien Girard-Satabin's avatar Julien Girard-Satabin
Browse files

new dune version

parent ae88f222
......@@ -12,8 +12,8 @@ license: "LGPL-2.0-only WITH OCaml-LGPL-linking-exception"
homepage: "https://git.frama-c.com/pub/isaieh"
bug-reports: "julien.girard2@cea.fr"
depends: [
"dune" {>= "2.1"}
"ocaml" {>= "4.11.0"}
"dune" {>= "2.9" & >= "2.9.0"}
"ocplib-endian" {>= "1.0"}
"piqilib" {>= "0.6.14"}
"piqi" {>= "0.7.6"}
......@@ -26,7 +26,7 @@ depends: [
"stdio" {>= "0.12.0"}
]
build: [
["dune" "subst"] {pinned}
["dune" "subst" "--root" "."] {dev}
[
"dune"
"build"
......@@ -34,8 +34,11 @@ build: [
name
"-j"
jobs
"--promote-install-files"
"false"
"@install"
"@runtest" {with-test}
"@doc" {with-doc}
]
["dune" "install" "-p" name "--create-install-files" name]
]
(lang dune 2.1)
(lang dune 2.9)
(name ISAIEH)
(version 0.2)
(generate_opam_files true)
......@@ -11,6 +11,7 @@
(name ISAIEH)
(depends
(ocaml (>= 4.11.0))
(dune (>= 2.9.0))
(ocplib-endian (>= 1.0))
(piqilib (>= 0.6.14))
(piqi (>= 0.7.6))
......
(tests
(package ISAIEH)
(names print_graph)
(libraries ISAIEH.onnx_parser ISAIEH.piqi_interface ISAIEH.output.smt
(libraries ISAIEH.onnx_parser ISAIEH.piqi_interface ISAIEH.output.smtlib
ISAIEH.ir))
(env
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment