tjh.dev
teyjus: 2.0-b2
+1
lib/maintainers.nix
+1
lib/maintainers.nix
···
27
aycanirican = "Aycan iRiCAN <iricanaycan@gmail.com>";
28
balajisivaraman = "Balaji Sivaraman<sivaraman.balaji@gmail.com>";
29
bbenoist = "Baptist BENOIST <return_0@live.com>";
30
bdimcheff = "Brandon Dimcheff <brandon@dimcheff.com>";
31
bennofs = "Benno Fünfstück <benno.fuenfstueck@gmail.com>";
32
benley = "Benjamin Staffin <benley@gmail.com>";
···
27
aycanirican = "Aycan iRiCAN <iricanaycan@gmail.com>";
28
balajisivaraman = "Balaji Sivaraman<sivaraman.balaji@gmail.com>";
29
bbenoist = "Baptist BENOIST <return_0@live.com>";
30
+
bcdarwin = "Ben Darwin <bcdarwin@gmail.com>";
31
bdimcheff = "Brandon Dimcheff <brandon@dimcheff.com>";
32
bennofs = "Benno Fünfstück <benno.fuenfstueck@gmail.com>";
33
benley = "Benjamin Staffin <benley@gmail.com>";
+28
pkgs/development/compilers/teyjus/default.nix
+28
pkgs/development/compilers/teyjus/default.nix
···
···
1
+
{ stdenv, fetchurl, omake, ocaml, flex, bison }:
2
+
3
+
stdenv.mkDerivation {
4
+
name = "teyjus-2.0b2";
5
+
6
+
src = fetchurl {
7
+
url = "https://teyjus.googlecode.com/files/teyjus-source-2.0-b2.tar.gz";
8
+
sha256 = "f589fb460d7095a6e674b7a6413772c41b98654c38602c3e8c477a976da99052";
9
+
};
10
+
11
+
patches = [ ./fix-lex-to-flex.patch ];
12
+
13
+
buildInputs = [ omake ocaml flex bison ];
14
+
15
+
buildPhase = "omake all";
16
+
17
+
checkPhase = "omake check";
18
+
19
+
installPhase = "mkdir -p $out/bin && cp tj* $out/bin";
20
+
21
+
meta = with stdenv.lib; {
22
+
description = "An efficient implementation of the Lambda Prolog language";
23
+
homepage = https://code.google.com/p/teyjus/;
24
+
license = stdenv.lib.licenses.gpl3;
25
+
maintainers = [ maintainers.bcdarwin ];
26
+
platforms = platforms.linux;
27
+
};
28
+
}
+23
pkgs/development/compilers/teyjus/fix-lex-to-flex.patch
+23
pkgs/development/compilers/teyjus/fix-lex-to-flex.patch
···
···
1
+
diff --git a/source/OMakefile b/source/OMakefile
2
+
index 6b19d84..095b8b6 100644
3
+
--- a/source/OMakefile
4
+
+++ b/source/OMakefile
5
+
@@ -164,12 +164,17 @@ LNK_MAIN = $(FNT)/linkerfront
6
+
DEP_MAIN = $(FNT)/dependfront
7
+
8
+
############################################################
9
+
+# Nixpkgs specific changes
10
+
+#
11
+
+
12
+
+LEX = flex
13
+
+
14
+
+############################################################
15
+
# Platform specific changes
16
+
#
17
+
18
+
if $(mem $(OSTYPE), Cygwin Win32)
19
+
YACC = bison -by
20
+
- LEX = flex
21
+
CFLAGS += -mno-cygwin
22
+
INC_C[] += $(INC)/byteswap $(INC)/search
23
+
export
+4
pkgs/top-level/all-packages.nix
+4
pkgs/top-level/all-packages.nix
···
4166
4167
tbb = callPackage ../development/libraries/tbb { };
4168
4169
+
teyjus = callPackage ../development/compilers/teyjus {
4170
+
omake = omake_rc1;
4171
+
};
4172
+
4173
tinycc = callPackage ../development/compilers/tinycc { };
4174
4175
urweb = callPackage ../development/compilers/urweb { };