adds the posix.h testing artifact (#24)

* adds the posix.h testing artifact also updates the opam packages * removes dune depedencies they are added automatically from the dune project lang stanza
BinaryAnalysisPlatform · May 13, 2021 · fd8c79c · fd8c79c
1 parent 98fb4f1
commit fd8c79c
Show file tree

Hide file tree

Showing 8 changed files with 4,317 additions and 22 deletions.
diff --git a/FrontC.opam b/FrontC.opam
@@ -11,7 +11,7 @@ tags: ["FrontC" "C" "parser" "XML"]
 homepage: "https://github.com/BinaryAnalysisPlatform/FrontC"
 bug-reports: "https://github.com/BinaryAnalysisPlatform/FrontC/issues"
 depends: [
-  "dune" {>= "2.8" & >= "2.8"}
+  "dune" {>= "2.7"}
   "menhir"
   "odoc" {with-doc}
 ]

diff --git a/calipso.opam b/calipso.opam
@@ -11,7 +11,7 @@ tags: ["FrontC" "C" "analysis"]
 homepage: "https://github.com/BinaryAnalysisPlatform/FrontC"
 bug-reports: "https://github.com/BinaryAnalysisPlatform/FrontC/issues"
 depends: [
-  "dune" {>= "2.8"}
+  "dune" {>= "2.7"}
   "FrontC" {>= "4.0.0"}
   "odoc" {with-doc}
 ]

diff --git a/ctoxml.opam b/ctoxml.opam
@@ -9,7 +9,7 @@ tags: ["FrontC" "C" "parser" "XML"]
 homepage: "https://github.com/BinaryAnalysisPlatform/FrontC"
 bug-reports: "https://github.com/BinaryAnalysisPlatform/FrontC/issues"
 depends: [
-  "dune" {>= "2.8"}
+  "dune" {>= "2.7"}
   "FrontC" {>= "4.0.0"}
   "odoc" {with-doc}
 ]

diff --git a/ctoxml/dune b/ctoxml/dune
@@ -4,8 +4,5 @@
   (package ctoxml)
   (libraries FrontC))
 
-(env
- (_ (binaries (./ctoxml as ctoxml))))
-
 (cram
   (deps %{bin:ctoxml}))
diff --git a/ctoxml/test.t/posix.h b/ctoxml/test.t/posix.h