pyrox.dev
ltl2ba: fix build on darwin
+6
-1
pkgs/applications/science/logic/ltl2ba/default.nix
+6
-1
pkgs/applications/science/logic/ltl2ba/default.nix
···
9
9
sha256 = "16z0gc7a9dkarwn0l6rvg5jdhw1q4qyn4501zlchy0zxqddz0sx6";
10
10
};
11
11
12
+
preConfigure = ''
13
+
substituteInPlace Makefile \
14
+
--replace "CC=gcc" ""
15
+
'';
16
+
12
17
installPhase = ''
13
18
mkdir -p $out/bin
14
19
mv ltl2ba $out/bin
···
18
23
description = "fast translation from LTL formulae to Buchi automata";
19
24
homepage = "http://www.lsv.ens-cachan.fr/~gastin/ltl2ba";
20
25
license = stdenv.lib.licenses.gpl2Plus;
21
-
platforms = stdenv.lib.platforms.linux;
26
+
platforms = stdenv.lib.platforms.darwin ++ stdenv.lib.platforms.linux;
22
27
maintainers = [ stdenv.lib.maintainers.thoughtpolice ];
23
28
};
24
29
}