3
0
Fork 0
forked from mirrors/nixpkgs

Merge pull request #15731 from earldouglas/picat

picat: init at 1.9-4
This commit is contained in:
Joachim Fasting 2016-05-27 17:07:04 +02:00
commit 9fff4b31fa
2 changed files with 39 additions and 0 deletions

View file

@ -0,0 +1,35 @@
{ 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.system == "i686-linux" then "linux32"
else if stdenv.system == "x86_64-linux" then "linux64"
else throw "Unsupported system";
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;
};
}

View file

@ -5219,6 +5219,10 @@ in
ocamlnat = newScope pkgs.ocamlPackages_3_12_1 ../development/ocaml-modules/ocamlnat { }; ocamlnat = newScope pkgs.ocamlPackages_3_12_1 ../development/ocaml-modules/ocamlnat { };
picat = callPackage ../development/compilers/picat {
stdenv = overrideCC stdenv gcc49;
};
ponyc = callPackage ../development/compilers/ponyc { ponyc = callPackage ../development/compilers/ponyc {
llvm = llvm_36; llvm = llvm_36;
}; };