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 | |
| parent | 045013be8922bb25e18a69a50bc30a6ddfd1307d (diff) | |
| download | nixlib-63d61cee7fa0d6d0bb9d0c8e4ecca8872896f805.tar nixlib-63d61cee7fa0d6d0bb9d0c8e4ecca8872896f805.tar.gz nixlib-63d61cee7fa0d6d0bb9d0c8e4ecca8872896f805.tar.bz2 nixlib-63d61cee7fa0d6d0bb9d0c8e4ecca8872896f805.tar.lz nixlib-63d61cee7fa0d6d0bb9d0c8e4ecca8872896f805.tar.xz nixlib-63d61cee7fa0d6d0bb9d0c8e4ecca8872896f805.tar.zst nixlib-63d61cee7fa0d6d0bb9d0c8e4ecca8872896f805.zip | |
teyjus: 2.0-b2
Diffstat (limited to 'pkgs/development/compilers')
| -rw-r--r-- | pkgs/development/compilers/teyjus/default.nix | 28 | ||||
| -rw-r--r-- | pkgs/development/compilers/teyjus/fix-lex-to-flex.patch | 23 |
2 files changed, 51 insertions, 0 deletions
diff --git a/pkgs/development/compilers/teyjus/default.nix b/pkgs/development/compilers/teyjus/default.nix new file mode 100644 index 000000000000..b16b32a6a062 --- /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; + }; +} diff --git a/pkgs/development/compilers/teyjus/fix-lex-to-flex.patch b/pkgs/development/compilers/teyjus/fix-lex-to-flex.patch new file mode 100644 index 000000000000..d2da1d3facca --- /dev/null +++ b/pkgs/development/compilers/teyjus/fix-lex-to-flex.patch @@ -0,0 +1,23 @@ +diff --git a/source/OMakefile b/source/OMakefile +index 6b19d84..095b8b6 100644 +--- a/source/OMakefile ++++ b/source/OMakefile +@@ -164,12 +164,17 @@ LNK_MAIN = $(FNT)/linkerfront + DEP_MAIN = $(FNT)/dependfront + + ############################################################ ++# Nixpkgs specific changes ++# ++ ++LEX = flex ++ ++############################################################ + # Platform specific changes + # + + if $(mem $(OSTYPE), Cygwin Win32) + YACC = bison -by +- LEX = flex + CFLAGS += -mno-cygwin + INC_C[] += $(INC)/byteswap $(INC)/search + export |