From 9c06612d6f38519b7c247bbff8539a39f6cfc0d2 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Fri, 18 Dec 2020 16:02:22 +0100
Subject: [PATCH] Add opam support.
---
caisar.opam | 28 ++++++++++++++++++++++++++++
dune-project | 16 ++++++++++++++--
2 files changed, 42 insertions(+), 2 deletions(-)
create mode 100644 caisar.opam
diff --git a/caisar.opam b/caisar.opam
new file mode 100644
index 0000000..5ea4dc1
--- /dev/null
+++ b/caisar.opam
@@ -0,0 +1,28 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+version: "0.1"
+synopsis: "Framework for neural network verification"
+depends: [
+ "dune" {>= "2.7" & >= "2.7.1"}
+ "base" {>= "v0.14.0"}
+ "cmdliner" {>= "1.0.4"}
+ "fmt" {>= "0.8.9"}
+ "logs" {>= "0.7.0"}
+ "ppx_deriving" {>= "5.1"}
+ "yojson" {>= "1.7.0"}
+ "odoc" {with-doc}
+]
+build: [
+ ["dune" "subst"] {dev}
+ [
+ "dune"
+ "build"
+ "-p"
+ name
+ "-j"
+ jobs
+ "@install"
+ "@runtest" {with-test}
+ "@doc" {with-doc}
+ ]
+]
diff --git a/dune-project b/dune-project
index c9e7524..61ba062 100644
--- a/dune-project
+++ b/dune-project
@@ -1,9 +1,21 @@
(lang dune 2.7)
(name caisar)
-(version 0.0)
+(version 0.1)
(using menhir 2.1)
+(generate_opam_files true)
+
(package
(name caisar)
- (synopsis "Framework for neural network verification"))
+ (synopsis "Framework for neural network verification")
+ (depends
+ (dune (>= 2.7.1))
+ (base (>= v0.14.0))
+ (cmdliner (>= 1.0.4))
+ (fmt (>= 0.8.9))
+ (logs (>= 0.7.0))
+ (ppx_deriving (>= 5.1))
+ (yojson (>= 1.7.0))
+ )
+)
--
GitLab