pyrox.dev
1{ lib, stdenv, fetchurl, zlib }:
2
3let
4 ARCH = {
5 i686-linux = "linux32";
6 x86_64-linux = "linux64";
7 aarch64-linux = "linux64";
8 }."${stdenv.hostPlatform.system}" or (throw "Unsupported system: ${stdenv.hostPlatform.system}");
9in
10stdenv.mkDerivation {
11 pname = "picat";
12 version = "3.0p4";
13
14 src = fetchurl {
15 url = "http://picat-lang.org/download/picat30_4_src.tar.gz";
16 sha256 = "1rwin44m7ni2h2v51sh2r8gj2k6wm6f86zgaylrria9jr57inpqj";
17 };
18
19 buildInputs = [ zlib ];
20
21 inherit ARCH;
22
23 hardeningDisable = [ "format" ];
24 enableParallelBuilding = true;
25
26 buildPhase = "cd emu && make -j $NIX_BUILD_CORES -f Makefile.$ARCH";
27 installPhase = "mkdir -p $out/bin && cp picat $out/bin/picat";
28
29 meta = with lib; {
30 description = "Logic-based programming langage";
31 homepage = "http://picat-lang.org/";
32 license = licenses.mpl20;
33 platforms = platforms.linux;
34 maintainers = with maintainers; [ earldouglas thoughtpolice ];
35 };
36}