Debug goblint 2.0.0

ocaml · Aug 12, 2022 · d712481 · d712481
1 parent 70a730d
commit d712481
Showing 1 changed file with 7 additions and 8 deletions.
diff --git a/packages/goblint-cil/goblint-cil.2.0.0/opam b/packages/goblint-cil/goblint-cil.2.0.0/opam
@@ -24,8 +24,8 @@ authors: [
   "Simmo Saan"
 ]
 license: "BSD-3-Clause"
-homepage: "https://github.com/goblint/cil"
-bug-reports: "https://github.com/goblint/cil/issues"
+homepage: "https://github.com/sim642/cil"
+bug-reports: "https://github.com/sim642/cil/issues"
 depends: [
   "ocaml" {>= "4.05.0"}
   "ocamlfind" {with-test}
@@ -55,9 +55,8 @@ build: [
     "@runtest" {with-test}
     "@doc" {with-doc}
   ]
-  ["cat" "_build/default/test/cil.log"] {with-test} # HACK for opam-repository CI debugging
 ]
-dev-repo: "git+https://github.com/goblint/cil.git"
+dev-repo: "git+https://github.com/sim642/cil.git"
 depexts: [
   ["perl-ExtUtils-MakeMaker"] {os-distribution = "centos" | os-distribution = "fedora" | os-distribution = "ol"}
   ["perl-FindBin"] {os-distribution = "fedora"}
@@ -66,10 +65,10 @@ depexts: [
 available: arch != "ppc32" & arch != "ppc64"
 url {
   src:
-    "https://github.com/goblint/cil/releases/download/2.0.0/goblint-cil-2.0.0.tbz"
+    "https://github.com/sim642/cil/releases/download/2.0.0_debug1/goblint-cil-2.0.0.debug1.tbz"
   checksum: [
-    "sha256=0467f30218c7ef03074b96912e46f58883e5229ba7d30102470191ad39a49b26"
-    "sha512=08a7a1a79dce32072431dd681866682e9dab7acbc4cb6e0e2255d6b71fea7020d7fcf00bbbb130489b77f03fa244382dce30eca67d75967e81b06e09996d44a8"
+    "sha256=ec3e22c0be3e942ed37318bfe5a2ed889dd115969d2eec8c21e00339e5f6bc49"
+    "sha512=dffe622b14174e9e10252897cbb54c34e8e2f4821f047c42bd43733bacf0d5cae334703706602b3ba407b73be8062bfdb40e4cb2cbe70fbdb9485c48b0eff92b"
   ]
 }
-x-commit-hash: "9968b57aae763fd0b5d652e13e2f18b643eb82e4"
+x-commit-hash: "4896afa57ee2c5c62f17009118d84c348fcc2822"