Merge pull request #50 from goblint/rm-virtual-library

Remove goblint.build-info.js and goblint.sites.js workarounds
goblint · Nov 29, 2024 · ffafb29 · ffafb29
2 parents 8e1b755 + f8ae450
commit ffafb29
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/dune b/src/dune
@@ -16,8 +16,6 @@
   goblint.solver
   goblint.lib
   goblint.timing
-  goblint.sites.js
-  goblint.build-info.js
   integers_stubs_js
   ctypes_stubs_js
   js_of_ocaml-lwt