From 3541ca141e5ce2f430e35fc6e3b22dd4533a6084 Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Wed, 30 Aug 2017 20:24:16 +0200
Subject: [PATCH] add packages from theba

---
 pkgs/mutrace.nix | 21 +++++++++++++++++++++
 pkgs/ubcsat.nix  | 16 ++++++++++++++++
 2 files changed, 37 insertions(+)
 create mode 100644 pkgs/mutrace.nix
 create mode 100644 pkgs/ubcsat.nix

diff --git a/pkgs/mutrace.nix b/pkgs/mutrace.nix
new file mode 100644
index 0000000..9dfd726
--- /dev/null
+++ b/pkgs/mutrace.nix
@@ -0,0 +1,21 @@
+with import <nixpkgs> {};
+stdenv.mkDerivation rec {
+  name = "mutrace-${version}";
+  version = "20150510";
+
+  src = fetchFromGitHub {
+    owner = "dbpercona";
+    repo = "mutrace";
+    rev = "3f71fc9752f6b5c673f9fd5d2dd30ac9af1b045d";
+    sha256 = "0h1vsfbvm70mw4i7dyai9c8i5yfjyinqd18is7cmjn7l6my532qi";
+  };
+
+  nativeBuildInputs = [ autoreconfHook ];
+  buildInputs = [ binutils libiberty ];
+
+  CFLAGS = [ "-DPACKAGE" "-I${libiberty}/include/libiberty" ];
+
+  postInstall = ''
+    sed -i "s,libm,$out/lib/\\0," $out/bin/*
+  '';
+}
diff --git a/pkgs/ubcsat.nix b/pkgs/ubcsat.nix
new file mode 100644
index 0000000..e5239d6
--- /dev/null
+++ b/pkgs/ubcsat.nix
@@ -0,0 +1,16 @@
+with import <nixpkgs> {};
+stdenv.mkDerivation rec {
+  name = "ubcsat-${version}";
+  version = "1.2beta";
+
+  src = fetchFromGitHub {
+    owner = "gebner";
+    repo = "ubcsat";
+    rev = "4cb85e4ae9278746d6ee371dd676daafdc2efd59";
+    sha256 = "0bnakj4w0p4q4dzppmw06vjq4ysd8d50wqfmwn8k6frypgsdnbw7";
+  };
+
+  installPhase = ''
+    install -Dm0755 ubcsat $out/bin/ubcsat
+  '';
+}