mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-25 00:12:56 +00:00
picat: init at 1.9-4
This commit is contained in:
parent
6f8d2d6917
commit
292f9e5f23
35
pkgs/development/compilers/picat/default.nix
Normal file
35
pkgs/development/compilers/picat/default.nix
Normal 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;
|
||||
};
|
||||
}
|
@ -5219,6 +5219,10 @@ in
|
||||
|
||||
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 {
|
||||
llvm = llvm_36;
|
||||
};
|
||||
|
Loading…
Reference in New Issue
Block a user