From 3729754351cc439b23a721bb0fd460d99e13f7b8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Niklas=20Hamb=C3=BCchen?= Date: Sat, 9 Feb 2019 17:49:31 +0100 Subject: [PATCH] survey: Add erd. See https://github.com/BurntSushi/erd/issues/40 --- survey/default.nix | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/survey/default.nix b/survey/default.nix index d588a22..7d8d6a5 100644 --- a/survey/default.nix +++ b/survey/default.nix @@ -478,6 +478,10 @@ let # See https://github.com/curl/curl/issues/2775 for an investigation of why. "--libs-only-L --libs-only-l libcurl"; + # For https://github.com/BurntSushi/erd/issues/40 + # As of writing, not in Stackage + erd = doJailbreak super.erd; + postgresql-libpq = super.postgresql-libpq.override { postgresql = postgresql_static; }; # TODO For the below packages, it would be better if we could somehow make all users