From 46fad2b3b8edab36967d13e00555e196d9fc2d9d Mon Sep 17 00:00:00 2001
From: Piotr Bogdan <ppbogdan@gmail.com>
Date: Fri, 4 Jan 2019 19:33:50 +0000
Subject: gtk-server: link with libdl explicitly

---
 pkgs/development/interpreters/gtk-server/default.nix | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'pkgs/development/interpreters')

diff --git a/pkgs/development/interpreters/gtk-server/default.nix b/pkgs/development/interpreters/gtk-server/default.nix
index ab295dab4443..6f5a5ec0f198 100644
--- a/pkgs/development/interpreters/gtk-server/default.nix
+++ b/pkgs/development/interpreters/gtk-server/default.nix
@@ -14,6 +14,10 @@ stdenv.mkDerivation rec {
 
   configureOptions = [ "--with-gtk2" ];
 
+  NIX_LDFLAGS = [
+    "-ldl"
+  ];
+
   meta = {
     description = "gtk-server for interpreted GUI programming";
     homepage = http://www.gtk-server.org/;
-- 
cgit 1.4.1


From 8bc5a019e84910759e13b77a27fc1a5e9dc477a9 Mon Sep 17 00:00:00 2001
From: Piotr Bogdan <ppbogdan@gmail.com>
Date: Fri, 4 Jan 2019 19:33:50 +0000
Subject: pure: link with libLLVMJIT explicitly

---
 pkgs/development/interpreters/pure/default.nix | 1 +
 1 file changed, 1 insertion(+)

(limited to 'pkgs/development/interpreters')

diff --git a/pkgs/development/interpreters/pure/default.nix b/pkgs/development/interpreters/pure/default.nix
index c2b120576ea2..188058a73b52 100644
--- a/pkgs/development/interpreters/pure/default.nix
+++ b/pkgs/development/interpreters/pure/default.nix
@@ -13,6 +13,7 @@ stdenv.mkDerivation rec {
 
   buildInputs = [ bison flex makeWrapper ];
   propagatedBuildInputs = [ llvm gmp mpfr readline ];
+  NIX_LDFLAGS = [ "-lLLVMJIT" ];
 
   postPatch = ''
     for f in expr.cc matcher.cc printer.cc symtable.cc parserdefs.hh; do
-- 
cgit 1.4.1


From 3a096b46168a389d4a7873b0920b126bb93460e4 Mon Sep 17 00:00:00 2001
From: Nathan van Doorn <nvd1234@gmail.com>
Date: Mon, 7 Jan 2019 18:38:22 +0000
Subject: metamath: 0.168 -> 0.171

---
 pkgs/development/interpreters/metamath/default.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'pkgs/development/interpreters')

diff --git a/pkgs/development/interpreters/metamath/default.nix b/pkgs/development/interpreters/metamath/default.nix
index 2fb1ccb24bc4..fedb9f59f80f 100644
--- a/pkgs/development/interpreters/metamath/default.nix
+++ b/pkgs/development/interpreters/metamath/default.nix
@@ -2,7 +2,7 @@
 
 stdenv.mkDerivation rec {
   name = "metamath-${version}";
-  version = "0.168";
+  version = "0.171";
 
   buildInputs = [ autoreconfHook ];
 
@@ -13,8 +13,8 @@ stdenv.mkDerivation rec {
   src = fetchFromGitHub {
     owner = "Taneb";
     repo = "metamath";
-    rev = "542bfd5e53d8ce026ce5d29da9e7069ec807f5e0";
-    sha256 = "07ssgqh9ipiw1bf60snmjaxngln1an1h9q0vgszadc94wzw06zi4";
+    rev = "1c622a844fbdee43f13a629c73d8b33ff7fc4e44";
+    sha256 = "0bkz75saddlwinyqwmxx89nilaar401j63kgqfqiak8iw2nk3wln";
   };
 
   meta = with stdenv.lib; {
-- 
cgit 1.4.1