diff options
Diffstat (limited to 'nixpkgs/pkgs/development/compilers/picat/default.nix')
-rw-r--r-- | nixpkgs/pkgs/development/compilers/picat/default.nix | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/compilers/picat/default.nix b/nixpkgs/pkgs/development/compilers/picat/default.nix new file mode 100644 index 000000000000..b520a5e703c8 --- /dev/null +++ b/nixpkgs/pkgs/development/compilers/picat/default.nix @@ -0,0 +1,38 @@ +{ stdenv, fetchurl }: + +stdenv.mkDerivation { + name = "picat-1.9-4"; + + src = fetchurl { + url = http://picat-lang.org/download/picat19_src.tar.gz; + sha256 = "0wvl95gf4pjs93632g4wi0mw1glzzhjp9g4xg93ll2zxggbxibli"; + }; + + ARCH = if stdenv.hostPlatform.system == "i686-linux" then "linux32" + else if stdenv.hostPlatform.system == "x86_64-linux" then "linux64" + else throw "Unsupported system"; + + hardeningDisable = [ "format" ]; + + buildPhase = '' + cd emu + make -f Makefile.picat.$ARCH + ''; + + installPhase = '' + mkdir -p $out/bin + cp picat_$ARCH $out/bin/picat + ''; + + meta = { + description = "Logic-based programming langage"; + longDescription = '' + Picat is a simple, and yet powerful, logic-based multi-paradigm + programming language aimed for general-purpose applications. + ''; + homepage = http://picat-lang.org/; + license = stdenv.lib.licenses.mpl20; + platforms = stdenv.lib.platforms.linux; + maintainers = [ stdenv.lib.maintainers.earldouglas ]; + }; +} |