spacetime_lib: fix missing module

necessary for the upcoming prof_spacetime
2020-07-17 16:00:52 +02:00
parent e23ed2c428
commit 15d2b2136e
1 changed files with 4 additions and 0 deletions
--- a/pkgs/development/ocaml-modules/spacetime_lib/default.nix
+++ b/pkgs/development/ocaml-modules/spacetime_lib/default.nix
@@ -13,6 +13,10 @@ buildDunePackage rec {

  propagatedBuildInputs = [ owee ];

+  preConfigure = ''
+    bash ./configure.sh
+  '';
+
  meta = {
    description = "An OCaml library providing some simple operations for handling OCaml “spacetime” profiles";
    inherit (src.meta) homepage;