about summary refs log tree commit diff
path: root/pkgs/development/compilers/picat/default.nix
diff options
context:
space:
mode:
Diffstat (limited to 'pkgs/development/compilers/picat/default.nix')
-rw-r--r--pkgs/development/compilers/picat/default.nix54
1 files changed, 0 insertions, 54 deletions
diff --git a/pkgs/development/compilers/picat/default.nix b/pkgs/development/compilers/picat/default.nix
deleted file mode 100644
index a723e314b3ca..000000000000
--- a/pkgs/development/compilers/picat/default.nix
+++ /dev/null
@@ -1,54 +0,0 @@
-{ lib, stdenv, fetchurl, zlib }:
-
-let
-  ARCH = {
-    x86_64-linux = "linux64";
-    aarch64-linux = "linux64";
-    x86_64-cygwin = "cygwin64";
-    x86_64-darwin = "mac64";
-    aarch64-darwin = "mac64";
-  }."${stdenv.hostPlatform.system}" or (throw "Unsupported system: ${stdenv.hostPlatform.system}");
-in
-stdenv.mkDerivation {
-  pname = "picat";
-  version = "3.6";
-
-  src = fetchurl {
-    url = "http://picat-lang.org/download/picat36_src.tar.gz";
-    hash = "sha256-DjP1cjKxRLxMjiHmYX42+kaG5//09IrPIc1O75gLA6k=";
-  };
-
-  buildInputs = [ zlib ];
-
-  inherit ARCH;
-
-  hardeningDisable = [ "format" ];
-  enableParallelBuilding = true;
-
-  buildPhase = ''
-    cd emu
-    make -j $NIX_BUILD_CORES -f Makefile.$ARCH
-  '';
-  installPhase = ''
-    mkdir -p $out/bin $out/share
-    cp picat $out/bin/
-    cp -r ../doc $out/share/doc
-    cp -r ../exs $out/share/examples
-  '';
-
-  meta = with lib; {
-    description = "Logic-based programming langage";
-    mainProgram = "picat";
-    homepage    = "http://picat-lang.org/";
-    license     = licenses.mpl20;
-    platforms   = [
-      "x86_64-linux"
-      "aarch64-linux"
-      "x86_64-cygwin"
-      "x86_64-darwin"
-      "aarch64-darwin"
-    ];
-    maintainers = with maintainers; [ earldouglas thoughtpolice ];
-  };
-}
-