diff options
author | Ben Darwin <bcdarwin@gmail.com> | 2015-02-21 02:41:37 -0500 |
---|---|---|
committer | Ben Darwin <bcdarwin@gmail.com> | 2015-02-21 19:55:24 -0500 |
commit | 63d61cee7fa0d6d0bb9d0c8e4ecca8872896f805 (patch) | |
tree | f6024656e5c670ebcb737074f5f5425a761054e3 /pkgs/development/compilers/teyjus/default.nix | |
parent | 045013be8922bb25e18a69a50bc30a6ddfd1307d (diff) | |
download | nixpkgs-63d61cee7fa0d6d0bb9d0c8e4ecca8872896f805.tar nixpkgs-63d61cee7fa0d6d0bb9d0c8e4ecca8872896f805.tar.gz nixpkgs-63d61cee7fa0d6d0bb9d0c8e4ecca8872896f805.tar.bz2 nixpkgs-63d61cee7fa0d6d0bb9d0c8e4ecca8872896f805.tar.lz nixpkgs-63d61cee7fa0d6d0bb9d0c8e4ecca8872896f805.tar.xz nixpkgs-63d61cee7fa0d6d0bb9d0c8e4ecca8872896f805.tar.zst nixpkgs-63d61cee7fa0d6d0bb9d0c8e4ecca8872896f805.zip |
teyjus: 2.0-b2
Diffstat (limited to 'pkgs/development/compilers/teyjus/default.nix')
-rw-r--r-- | pkgs/development/compilers/teyjus/default.nix | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/pkgs/development/compilers/teyjus/default.nix b/pkgs/development/compilers/teyjus/default.nix new file mode 100644 index 00000000000..b16b32a6a06 --- /dev/null +++ b/pkgs/development/compilers/teyjus/default.nix @@ -0,0 +1,28 @@ +{ stdenv, fetchurl, omake, ocaml, flex, bison }: + +stdenv.mkDerivation { + name = "teyjus-2.0b2"; + + src = fetchurl { + url = "https://teyjus.googlecode.com/files/teyjus-source-2.0-b2.tar.gz"; + sha256 = "f589fb460d7095a6e674b7a6413772c41b98654c38602c3e8c477a976da99052"; + }; + + patches = [ ./fix-lex-to-flex.patch ]; + + buildInputs = [ omake ocaml flex bison ]; + + buildPhase = "omake all"; + + checkPhase = "omake check"; + + installPhase = "mkdir -p $out/bin && cp tj* $out/bin"; + + meta = with stdenv.lib; { + description = "An efficient implementation of the Lambda Prolog language"; + homepage = https://code.google.com/p/teyjus/; + license = stdenv.lib.licenses.gpl3; + maintainers = [ maintainers.bcdarwin ]; + platforms = platforms.linux; + }; +} |