Skip to content

[new release] goblint-cil (2.0.8) #28478

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 3 commits into
base: master
Choose a base branch
from
Open

[new release] goblint-cil (2.0.8) #28478

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
f9f72ca
[new release] goblint-cil (2.0.8)
sim642 Sep 9, 2025
27bb43c
goblint-cil.2.0.8: exclude arm64 debian-13 from with-test
sim642 Oct 1, 2025
dd31e72
goblint-cil.2.0.8: fix freebsd x-ci-accept-failures
sim642 Oct 2, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
77 changes: 77 additions & 0 deletions packages/goblint-cil/goblint-cil.2.0.8/opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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 <[email protected]>"
"Simmo Saan <[email protected]>"
]
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"]
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
conflicts: ["cil"]
conflicts: ["cil" "host-system-mingw"]

if we want to silence the Windows MinGW failures - which are identical for Cygwin and MSys2:

  #=== ERROR while compiling goblint-cil.2.0.8 ==================================#
  # context     2.4.1 | win32/x86_64 | ocaml.5.3.0 | file://D:/a/opam-repository/opam-repository
  # path        D:\opamroot\default\.opam-switch\build\goblint-cil.2.0.8
  # command     D:\opamroot\default\bin\dune.exe build -p goblint-cil -j 3 @install
  # exit-code   1
  # env-file    D:\opamroot\log\goblint-cil-3540-5496d8.env
  # output-file D:\opamroot\log\goblint-cil-3540-5496d8.out
  ### output ###
  # [...]
  # (cd _build/default/src && .\modelConfigure.exe --real-gcc gcc -m 64) > _build/default/src/gcc64model
  # run: gcc -D_GNUCC -include machdep64-config.h -m64 machdep-ml.c -o ./machdep-ml64.exe
  # -> process exited with code 0
  # -> stdout:
  # -> stderr:
  # run: ./machdep-ml64.exe --env
  # -> process exited with code 1
  # -> stdout:
  # -> stderr:
  #  | '.' is not recognized as an internal or external command,
  #  | operable program or batch file.
  # Fatal error: exception File "src/modelConfigure.ml", line 16, characters 8-14: Assertion failed

With that this really is good to go 🙂

build: [
["dune" "subst"] {dev}
[
"dune"
"build"
"-p"
name
"-j"
jobs
"@install"
"@runtest" {with-test & (arch = "x86_64" | os != "linux")} # fails on arm64 debian-13
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
"@runtest" {with-test & (arch = "x86_64" | os != "linux")} # fails on arm64 debian-13
"@runtest" {with-test & os != "freebsd" & (arch = "x86_64" | os != "linux")} # fails on arm64 debian-13

as I see installation working fine but the test suite now failing on FreeBSD.

Otherwise LGTM 👍
(Remaining CI failures are: Windows, opam-2.0, and the conf-gmp.1 issue triggering)

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I fixed the x-ci-accept-failures for freebsd instead.

"@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-14.2" # 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"
Loading