diff options
author | James Earl Douglas <james@earldouglas.com> | 2016-05-26 14:36:15 -0600 |
---|---|---|
committer | James Earl Douglas <james@earldouglas.com> | 2016-05-26 15:29:03 -0600 |
commit | 292f9e5f23243da5664560edc7410d7871924b47 (patch) | |
tree | e1d821d96f11cbdd298bbef2e1dadb6ded1136f4 /pkgs | |
parent | 6f8d2d6917ee1dc54b5bbe7a66a15e1b6bc7bec2 (diff) | |
download | nixpkgs-292f9e5f23243da5664560edc7410d7871924b47.tar nixpkgs-292f9e5f23243da5664560edc7410d7871924b47.tar.gz nixpkgs-292f9e5f23243da5664560edc7410d7871924b47.tar.bz2 nixpkgs-292f9e5f23243da5664560edc7410d7871924b47.tar.lz nixpkgs-292f9e5f23243da5664560edc7410d7871924b47.tar.xz nixpkgs-292f9e5f23243da5664560edc7410d7871924b47.tar.zst nixpkgs-292f9e5f23243da5664560edc7410d7871924b47.zip |
picat: init at 1.9-4
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/development/compilers/picat/default.nix | 35 | ||||
-rw-r--r-- | pkgs/top-level/all-packages.nix | 4 |
2 files changed, 39 insertions, 0 deletions
diff --git a/pkgs/development/compilers/picat/default.nix b/pkgs/development/compilers/picat/default.nix new file mode 100644 index 00000000000..7f2f6158dd8 --- /dev/null +++ b/pkgs/development/compilers/picat/default.nix @@ -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; + }; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index ec07f90dbad..31ab628a5a0 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -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; }; |