From 863d22d3b1c7f551c65a144fa15f09dc99cc47b0 Mon Sep 17 00:00:00 2001
From: Thierry Martinez <Thierry.Martinez@inria.fr>
Date: Wed, 17 Feb 2021 16:13:18 +0100
Subject: [PATCH] Add opam file
---
.gitignore | 2 +-
clangml-transforms.opam | 34 ++++++++++++++++++++++++++++++++++
2 files changed, 35 insertions(+), 1 deletion(-)
create mode 100644 clangml-transforms.opam
diff --git a/.gitignore b/.gitignore
index 2d7627c..3e6fae7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,4 +2,4 @@
/clangml-transforms.install
.merlin
*~
-/clangml-transforms.opam
+
diff --git a/clangml-transforms.opam b/clangml-transforms.opam
new file mode 100644
index 0000000..31fe2e2
--- /dev/null
+++ b/clangml-transforms.opam
@@ -0,0 +1,34 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+version: "0.26"
+synopsis: "Code transformers for clangml"
+maintainer: ["Thierry Martinez <thierry.martinez@inria.fr>"]
+authors: ["Thierry Martinez <thierry.martinez@inria.fr>"]
+license: "BSD-2-Clause"
+homepage: "https://gitlab.inria.fr/memcad/clangml-transforms"
+doc: "https://gitlab.inria.fr/memcad/clangml-transforms"
+bug-reports: "https://gitlab.inria.fr/memcad/clangml-transforms/issues"
+depends: [
+ "ocaml" {>= "4.03.0" & < "4.12.0"}
+ "dune" {>= "1.11.0"}
+ "clangml" {>= "4.2.0"}
+ "dolog" {>= "4.0.0"}
+ "traverse" {>= "0.2.0"}
+ "refl" {>= "0.2.1"}
+ "odoc" {with-doc & >= "1.5.1"}
+]
+build: [
+ ["dune" "subst"] {pinned}
+ [
+ "dune"
+ "build"
+ "-p"
+ name
+ "-j"
+ jobs
+ "@install"
+ "@runtest" {with-test}
+ "@doc" {with-doc}
+ ]
+]
+dev-repo: "git+https://gitlab.inria.fr/memcad/clangml-transforms"
--
GitLab