fix _Float64x on M1 macOS

.github/workflows/tests.yml

@@ -0,0 +1,47 @@
+name: build and run tests
+# https://github.com/avsm/setup-ocaml
+
+on:
+  - push
+  - pull_request
+
+jobs:
+  tests:
+    strategy:
+      fail-fast: false
+      matrix:
+        os:
+          - macos-latest
+          - ubuntu-latest
+          # - windows-latest
+        ocaml-version:
+          # - 4.04.2
+          - 4.05.0
+          - 4.06.1
+          - 4.07.1
+          - 4.08.1
+          - 4.09.1
+          - 4.10.1
+          - 4.11.2
+          - 4.12.0
+          - 4.13.1
+
+
+    runs-on: ${{ matrix.os }}
+
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v2
+
+      - name: Setup OCaml ${{ matrix.ocaml-version }}
+        uses: ocaml/setup-ocaml@v2
+        with:
+          ocaml-compiler: ${{ matrix.ocaml-version }}
+
+      - run: opam pin add goblint-cil.dev . --no-action
+      - run: opam depext goblint-cil --yes
+      - run: opam depext goblint-cil --yes --with-doc
+      - run: opam depext goblint-cil --yes --with-test
+      - run: opam install . --deps-only --with-doc --with-test
+      - run: opam exec -- dune build
+      - run: opam exec -- dune runtest

.gitignore

@@ -1,3 +1,5 @@
+_opam/
+src/.merlin
 # /
 /camlprim0.obj
 /*.a
@@ -92,6 +94,7 @@
 
 # /lib/cil
 /lib/cil
+/lib/goblint-cil
 
 # /share
 /share/cil/ocamlpath
@@ -390,4 +393,28 @@
 /test/small2/funcptr3
 /test/small2/merge-ar
 /test/small2/libmerge.a
-
+/test/small2/*.o
+.vscode/settings.json
+src/ext/blockinggraph/.merlin
+src/ext/callgraph/.merlin
+src/ext/zrapp/.merlin
+src/ext/simplify/.merlin
+src/ext/simplemem/.merlin
+src/ext/sfi/.merlin
+src/ext/pta/.merlin
+src/ext/partial/.merlin
+src/ext/oneret/.merlin
+src/ext/logwrites/.merlin
+src/ext/logcalls/.merlin
+src/ext/llvm/.merlin
+src/ext/liveness/.merlin
+src/ext/inliner/.merlin
+src/ext/heapify/.merlin
+src/ext/epicenter/.merlin
+src/ext/dataslicing/.merlin
+src/ext/ccl/.merlin
+src/ext/canonicalize/.merlin
+src/ext/cqualann/.merlin
+src/ext/syntacticsearch/.merlin
+src/ext/makecfg/.merlin
+test/a.out

.merlin

@@ -2,11 +2,11 @@ S src/
 S src/ext/
 S src/ext/pta/
 S src/frontc/
-S ocamlutil/
+S src/ocamlutil/
 B _build/
 B _build/src/
 B _build/src/ext/
 B _build/src/ext/pta/
 B _build/src/frontc/
-B _build/ocamlutil/
-PKG findlib
+B _build/src/ocamlutil/
+PKG findlib, zarith