diff options
author | Austin Seipp <aseipp@pobox.com> | 2020-11-20 21:00:57 -0600 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2020-11-21 03:34:56 -0600 |
commit | 8be3b7c1057d3cbc790c674b6f63d8a6019c1052 (patch) | |
tree | 4a2dbe9552ed0d0dd83f56dd0f2c627052e38a31 /pkgs | |
parent | bb8b9f4ce1acaa81375ea974ed57376390227762 (diff) |
picat: enable on aarch64-linux
Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/development/compilers/picat/default.nix | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/pkgs/development/compilers/picat/default.nix b/pkgs/development/compilers/picat/default.nix index 8fe3031e6b35..4898f991079c 100644 --- a/pkgs/development/compilers/picat/default.nix +++ b/pkgs/development/compilers/picat/default.nix @@ -1,5 +1,12 @@ { stdenv, fetchurl, zlib }: +let + ARCH = { + i686-linux = "linux32"; + x86_64-linux = "linux64"; + aarch64-linux = "linux64"; + }."${stdenv.hostPlatform.system}" or (throw "Unsupported system: ${stdenv.hostPlatform.system}"); +in stdenv.mkDerivation { pname = "picat"; version = "3.0p3"; @@ -11,19 +18,13 @@ stdenv.mkDerivation { buildInputs = [ zlib ]; - ARCH = if stdenv.hostPlatform.system == "i686-linux" then "linux32" - else if stdenv.hostPlatform.system == "x86_64-linux" then "linux64" - else throw "Unsupported system"; + inherit ARCH; hardeningDisable = [ "format" ]; enableParallelBuilding = true; buildPhase = "cd emu && make -j $NIX_BUILD_CORES -f Makefile.$ARCH"; - - installPhase = '' - mkdir -p $out/bin - cp picat $out/bin/picat - ''; + installPhase = "mkdir -p $out/bin && cp picat $out/bin/picat"; meta = with stdenv.lib; { description = "Logic-based programming langage"; |