pure Dune-based build and opam package

.github/workflows/build.yml

@@ -0,0 +1,35 @@
+name: Build
+
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+    branches:
+      - '**'
+
+permissions: read-all
+
+jobs:
+  build:
+    strategy:
+      fail-fast: false
+      matrix:
+        os:
+          - ubuntu-latest
+        ocaml-compiler:
+          - "4.14"
+          - "5.1"
+
+    runs-on: ${{ matrix.os }}
+
+    steps:
+      - name: Checkout tree
+        uses: actions/checkout@v4
+      - name: Set-up OCaml ${{ matrix.ocaml-compiler }}
+        uses: ocaml/setup-ocaml@v2
+        with:
+          ocaml-compiler: ${{ matrix.ocaml-compiler }}
+      - run: opam install . --deps-only --with-test
+      - run: opam exec -- dune build
+      - run: opam exec -- dune runtest

.gitignore

@@ -0,0 +1,7 @@
+_build
+*~
+\#*\#
+.vscode/
+.#*
+.dune.lock
+.dune-stamp

dune-project

@@ -0,0 +1,21 @@
+(lang dune 3.2)
+(using dune_site 0.1)
+(name frama-c-saida)
+
+(generate_opam_files true)
+
+(license GPL-2.0-or-later)
+(maintainers "Gustav Ung")
+(authors "The Saida development team")
+(source (github rse-verification/saida))
+(homepage "https://github.com/rse-verification/saida")
+(version dev)
+
+(package 
+  (name frama-c-saida)
+ (depends
+  (ocaml (>= 4.14))
+  (frama-c (>= 26)))
+ (synopsis "ACSL contract inference for helper functions")
+ (description "This plugin for the Frama-C platform for source code analysis
+of C programs provides inference of ACSL contracts for helper functions."))

frama-c-saida.opam

@@ -0,0 +1,35 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+version: "dev"
+synopsis: "ACSL contract inference for helper functions"
+description: """
+This plugin for the Frama-C platform for source code analysis
+of C programs provides inference of ACSL contracts for helper functions."""
+maintainer: ["Gustav Ung"]
+authors: ["The Saida development team"]
+license: "GPL-2.0-or-later"
+homepage: "https://github.com/rse-verification/saida"
+bug-reports: "https://github.com/rse-verification/saida/issues"
+depends: [
+  "dune" {>= "3.2"}
+  "ocaml" {>= "4.14"}
+  "frama-c" {>= "26"}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "--promote-install-files=false"
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+  ["dune" "install" "-p" name "--create-install-files" name]
+]
+dev-repo: "git+https://github.com/rse-verification/saida.git"

src/dune

@@ -1,13 +1,11 @@
-( library
- ( name Saida)
- ( public_name frama-c-saida.core)
- ( flags -open Frama_c_kernel (:standard -w -50 -w -6 -w -27 -w -39 -w -36))
- ( libraries frama-c.kernel)
-)
+(library
+ (name Saida)
+ (public_name frama-c-saida.core)
+ (flags -open Frama_c_kernel :standard -w -50-6-27-39-36)
+ (libraries frama-c.kernel))
 
 (plugin
- ( optional )
- ( name saida)
- ( libraries frama-c-saida.core)
- ( site (frama-c plugins))
-)
+ (optional)
+ (name saida)
+ (libraries frama-c-saida.core)
+ (site (frama-c plugins)))