From 1895e62dab67cfb05a5981bcfd7f36d46acd2b7e Mon Sep 17 00:00:00 2001 From: Simmo Saan Date: Wed, 24 Jul 2024 17:13:54 +0300 Subject: [PATCH 1/3] Use dune versions of goblint's sites and build-info These work since dune 3.7. --- src/dune | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/dune b/src/dune index 71ee7a3..7821e05 100644 --- a/src/dune +++ b/src/dune @@ -16,8 +16,8 @@ goblint.solver goblint.lib goblint.timing - goblint.sites.js - goblint.build-info.js + goblint.sites.dune + goblint.build-info.dune integers_stubs_js ctypes_stubs_js js_of_ocaml-lwt From f9ce8bcad3552ad95488bc4988dcc0d5ed57b365 Mon Sep 17 00:00:00 2001 From: Simmo Saan Date: Wed, 24 Jul 2024 17:26:03 +0300 Subject: [PATCH 2/3] Unvirtualize goblint.build-info and goblint.sites --- src/dune | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/dune b/src/dune index 7821e05..8ab8a8a 100644 --- a/src/dune +++ b/src/dune @@ -16,8 +16,8 @@ goblint.solver goblint.lib goblint.timing - goblint.sites.dune - goblint.build-info.dune + goblint.sites + goblint.build-info integers_stubs_js ctypes_stubs_js js_of_ocaml-lwt From 4e965cf1bb7be5e7ceef2a40586ea445682cca64 Mon Sep 17 00:00:00 2001 From: Simmo Saan Date: Wed, 24 Jul 2024 17:27:24 +0300 Subject: [PATCH 3/3] Remove unused goblint.build-info and goblint.sites dependency --- src/dune | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/dune b/src/dune index 8ab8a8a..25675ba 100644 --- a/src/dune +++ b/src/dune @@ -16,8 +16,6 @@ goblint.solver goblint.lib goblint.timing - goblint.sites - goblint.build-info integers_stubs_js ctypes_stubs_js js_of_ocaml-lwt