tangled
alpha
login
or
join now
pyrox.dev
/
nixpkgs
lol
0
fork
atom
overview
issues
pulls
pipelines
glucose: fix build on aarch64-linux
Weijia Wang
3 years ago
ee09ecac
017015a8
+5
-2
1 changed file
expand all
collapse all
unified
split
pkgs
applications
science
logic
glucose
default.nix
+5
-2
pkgs/applications/science/logic/glucose/default.nix
···
8
8
sha256 = "0aahrkaq7n0z986fpqz66yz946nxardfi6dh8calzcfjpvqiraji";
9
9
};
10
10
11
11
+
postPatch = ''
12
12
+
substituteInPlace Main.cc \
13
13
+
--replace "defined(__linux__)" "defined(__linux__) && defined(__x86_64__)"
14
14
+
'';
15
15
+
11
16
buildInputs = [ zlib ];
12
17
13
18
sourceRoot = "glucose-syrup-${version}/simp";
···
23
28
license = licenses.mit;
24
29
platforms = platforms.unix;
25
30
maintainers = with maintainers; [ gebner ];
26
26
-
# Build uses _FPU_EXTENDED macro
27
27
-
badPlatforms = [ "aarch64-linux" ];
28
31
};
29
32
}