pyrox.dev
isabelle: fix darwin build (#348092)
authored by Austin Horstman and committed by GitHub ad347ac3 6c03944b
+6
-9
pkgs/by-name/is/isabelle/package.nix
+6
-9
pkgs/by-name/is/isabelle/package.nix
···
30
30
hash = "sha256-DB/ETVZhbT82IMZA97TmHG6gJcGpFavxDKDTwPzIF80=";
31
31
};
32
32
33
-
buildPhase = (if stdenv.hostPlatform.isDarwin then ''
34
-
LDFLAGS="-dynamic -undefined dynamic_lookup -lSystem"
35
-
'' else ''
33
+
buildPhase = ''
34
+
CFLAGS="-fPIC -I."
36
35
LDFLAGS="-fPIC -shared"
37
-
'') + ''
38
-
CFLAGS="-fPIC -I."
39
36
$CC $CFLAGS -c sha1.c -o sha1.o
40
-
$LD $LDFLAGS sha1.o -o libsha1.so
37
+
$CC $LDFLAGS sha1.o -o libsha1.so
41
38
'';
42
39
43
40
installPhase = ''
···
73
70
74
71
nativeBuildInputs = [ java ];
75
72
76
-
buildInputs = [ polyml veriT vampire eprover-ho nettools ]
77
-
++ lib.optionals (!stdenv.hostPlatform.isDarwin) [ java procps ];
73
+
buildInputs = [ polyml veriT vampire eprover-ho nettools ];
74
+
75
+
propagatedBuildInputs = lib.optionals stdenv.hostPlatform.isDarwin [ procps ];
78
76
79
77
sourceRoot = "${dirname}${lib.optionalString stdenv.hostPlatform.isDarwin ".app"}";
80
78
···
221
219
license = licenses.bsd3;
222
220
maintainers = [ maintainers.jwiegley maintainers.jvanbruegge ];
223
221
platforms = platforms.unix;
224
-
broken = stdenv.hostPlatform.isDarwin;
225
222
};
226
223
227
224
passthru.withComponents = f: