pkgs/development/compilers/picat/default.nix

   1 { lib, stdenv, fetchurl, zlib }:
   2
   3 let
   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}");
   9 in
  10 stdenv.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 }