From f9f72ca9d77e3d813df6a8394954262788d6bb6b Mon Sep 17 00:00:00 2001 From: Simmo Saan Date: Tue, 9 Sep 2025 11:53:00 +0300 Subject: [PATCH 1/7] [new release] goblint-cil (2.0.8) CHANGES: * Fix 32bit `Machdep` generation on 64bit host (goblint/cil#195). --- packages/goblint-cil/goblint-cil.2.0.8/opam | 77 +++++++++++++++++++++ 1 file changed, 77 insertions(+) create mode 100644 packages/goblint-cil/goblint-cil.2.0.8/opam diff --git a/packages/goblint-cil/goblint-cil.2.0.8/opam b/packages/goblint-cil/goblint-cil.2.0.8/opam new file mode 100644 index 000000000000..d11909c09324 --- /dev/null +++ b/packages/goblint-cil/goblint-cil.2.0.8/opam @@ -0,0 +1,77 @@ +opam-version: "2.0" +synopsis: + "A front-end for the C programming language that facilitates program analysis and transformation" +description: """ +This is a fork of the 'cil' package used for 'goblint'. Major changes include: +* Support for C99 and C11. +* Compatibility with modern OCaml versions. +* Use Zarith instead of Num and use that for integer constants. +* Improved locations with columns and spans. +* Removal of unmaintained extensions and MSVC support. +* Use dune instead of make and ocamlbuild. +* Many bug fixes.""" +maintainer: [ + "Michael Schwarz " + "Simmo Saan " +] +authors: [ + "George Necula" + "Scott McPeak" + "Westley Weimer" + "Gabriel Kerneis" + "Ralf Vogler" + "Michael Schwarz" + "Simmo Saan" +] +license: "BSD-3-Clause" +homepage: "https://github.com/goblint/cil" +bug-reports: "https://github.com/goblint/cil/issues" +depends: [ + "ocaml" {>= "4.12.0"} + "ocamlfind" {with-test} + "zarith" + "hevea" {with-doc} + "dune" {>= "2.7"} + "dune-configurator" + "odoc" {with-doc} + "stdlib-shims" + "ppx_deriving_yojson" {>= "3.2"} + "yojson" + "conf-perl" + "cppo" + "conf-gcc" +] +conflicts: ["cil"] +build: [ + ["dune" "subst"] {dev} + [ + "dune" + "build" + "-p" + name + "-j" + jobs + "@install" + "@runtest" {with-test} + "@doc" {with-doc} + ] +] +dev-repo: "git+https://github.com/goblint/cil.git" +depexts: [ + ["perl-ExtUtils-MakeMaker"] {os-distribution = "centos" | os-family = "fedora" | os-distribution = "ol"} + ["perl-FindBin"] {os-family = "fedora"} + ["build-base"] {os-distribution = "alpine"} +] +available: arch = "x86_64" | arch = "arm64" +x-ci-accept-failures: [ + "freebsd" # installed cilly binary is not found for some reason (https://github.com/ocaml/opam-repository/pull/24812#issuecomment-1819231335) +] +url { + src: + "https://github.com/goblint/cil/releases/download/2.0.8/goblint-cil-2.0.8.tbz" + checksum: [ + "sha256=b09009442e27c51e61653ca0104069097bfcb7943457478fd5a153cdda9cbc09" + "sha512=0f89d8920a35daa9213d7c407d1e1d89d820df9d6da1878335209e166aad68b2a377134ab08bb74499b40d13a7b758959b225b01e067d6e609da5295913e2af7" + ] +} +x-commit-hash: "d1da1ba071b7060b7b9c533853a3c56e82e762ba" From 27bb43c12e0113d00863618f1a3695da42b97107 Mon Sep 17 00:00:00 2001 From: Simmo Saan Date: Wed, 1 Oct 2025 11:34:40 +0300 Subject: [PATCH 2/7] goblint-cil.2.0.8: exclude arm64 debian-13 from with-test Co-authored-by: Jan Midtgaard --- packages/goblint-cil/goblint-cil.2.0.8/opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/goblint-cil/goblint-cil.2.0.8/opam b/packages/goblint-cil/goblint-cil.2.0.8/opam index d11909c09324..af2adf819c56 100644 --- a/packages/goblint-cil/goblint-cil.2.0.8/opam +++ b/packages/goblint-cil/goblint-cil.2.0.8/opam @@ -52,7 +52,7 @@ build: [ "-j" jobs "@install" - "@runtest" {with-test} + "@runtest" {with-test & (arch = "x86_64" | os != "linux")} # fails on arm64 debian-13 "@doc" {with-doc} ] ] From dd31e72f5988ceea5bdccac029e5b7e95a21b507 Mon Sep 17 00:00:00 2001 From: Simmo Saan Date: Thu, 2 Oct 2025 09:50:42 +0300 Subject: [PATCH 3/7] goblint-cil.2.0.8: fix freebsd x-ci-accept-failures --- packages/goblint-cil/goblint-cil.2.0.8/opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/goblint-cil/goblint-cil.2.0.8/opam b/packages/goblint-cil/goblint-cil.2.0.8/opam index af2adf819c56..52fc7c910591 100644 --- a/packages/goblint-cil/goblint-cil.2.0.8/opam +++ b/packages/goblint-cil/goblint-cil.2.0.8/opam @@ -64,7 +64,7 @@ depexts: [ ] available: arch = "x86_64" | arch = "arm64" x-ci-accept-failures: [ - "freebsd" # installed cilly binary is not found for some reason (https://github.com/ocaml/opam-repository/pull/24812#issuecomment-1819231335) + "freebsd-14.2" # installed cilly binary is not found for some reason (https://github.com/ocaml/opam-repository/pull/24812#issuecomment-1819231335) ] url { src: From ceeb915da68f56d08e0dd957c0583a66753ced5f Mon Sep 17 00:00:00 2001 From: Marcello Seri Date: Sat, 4 Oct 2025 12:26:35 +0200 Subject: [PATCH 4/7] Update packages/goblint-cil/goblint-cil.2.0.8/opam Co-authored-by: Jan Midtgaard --- packages/goblint-cil/goblint-cil.2.0.8/opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/goblint-cil/goblint-cil.2.0.8/opam b/packages/goblint-cil/goblint-cil.2.0.8/opam index 52fc7c910591..787c0c348936 100644 --- a/packages/goblint-cil/goblint-cil.2.0.8/opam +++ b/packages/goblint-cil/goblint-cil.2.0.8/opam @@ -41,7 +41,7 @@ depends: [ "cppo" "conf-gcc" ] -conflicts: ["cil"] +conflicts: ["cil" "host-system-mingw"] build: [ ["dune" "subst"] {dev} [ From 62de8617eb2b2d93ff124b4952d04e12d8096cf4 Mon Sep 17 00:00:00 2001 From: Marcello Seri Date: Tue, 21 Oct 2025 09:22:31 +0200 Subject: [PATCH 5/7] Update packages/goblint-cil/goblint-cil.2.0.8/opam Co-authored-by: Jan Midtgaard --- packages/goblint-cil/goblint-cil.2.0.8/opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/goblint-cil/goblint-cil.2.0.8/opam b/packages/goblint-cil/goblint-cil.2.0.8/opam index 787c0c348936..54ed1ee3f5dd 100644 --- a/packages/goblint-cil/goblint-cil.2.0.8/opam +++ b/packages/goblint-cil/goblint-cil.2.0.8/opam @@ -41,7 +41,7 @@ depends: [ "cppo" "conf-gcc" ] -conflicts: ["cil" "host-system-mingw"] +conflicts: ["cil" "host-system-msvc"] build: [ ["dune" "subst"] {dev} [ From 22fd7f1b6e86987505cd89eb86cae07a279aaa92 Mon Sep 17 00:00:00 2001 From: Marcello Seri Date: Tue, 21 Oct 2025 14:24:37 +0200 Subject: [PATCH 6/7] Update packages/goblint-cil/goblint-cil.2.0.8/opam Co-authored-by: Jan Midtgaard --- packages/goblint-cil/goblint-cil.2.0.8/opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/goblint-cil/goblint-cil.2.0.8/opam b/packages/goblint-cil/goblint-cil.2.0.8/opam index 54ed1ee3f5dd..52fc7c910591 100644 --- a/packages/goblint-cil/goblint-cil.2.0.8/opam +++ b/packages/goblint-cil/goblint-cil.2.0.8/opam @@ -41,7 +41,7 @@ depends: [ "cppo" "conf-gcc" ] -conflicts: ["cil" "host-system-msvc"] +conflicts: ["cil"] build: [ ["dune" "subst"] {dev} [ From 45a739553cd49d5e253b08ca871e2229549e12df Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rapha=C3=ABl=20Proust?= Date: Thu, 23 Oct 2025 15:38:55 +0200 Subject: [PATCH 7/7] Update packages/goblint-cil/goblint-cil.2.0.8/opam --- packages/goblint-cil/goblint-cil.2.0.8/opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/goblint-cil/goblint-cil.2.0.8/opam b/packages/goblint-cil/goblint-cil.2.0.8/opam index 52fc7c910591..67758749211f 100644 --- a/packages/goblint-cil/goblint-cil.2.0.8/opam +++ b/packages/goblint-cil/goblint-cil.2.0.8/opam @@ -59,7 +59,7 @@ build: [ dev-repo: "git+https://github.com/goblint/cil.git" depexts: [ ["perl-ExtUtils-MakeMaker"] {os-distribution = "centos" | os-family = "fedora" | os-distribution = "ol"} - ["perl-FindBin"] {os-family = "fedora"} + ["perl-FindBin"] {os-distribution = "centos" | os-family = "fedora"} ["build-base"] {os-distribution = "alpine"} ] available: arch = "x86_64" | arch = "arm64"