Added nix files

3 files changed, 66 insertions, 0 deletions

diff --git a/.envrc b/.envrc
new file mode 100644
index 00000000..4a4726a5
--- /dev/null
+++ b/.envrc
@@ -0,0 +1 @@
+use_nix
diff --git a/default.nix b/default.nix
new file mode 100644
index 00000000..ba9eed30
--- /dev/null
+++ b/default.nix
@@ -0,0 +1,9 @@
+let
+  pinnedNixpkgs = import (builtins.fetchTarball {
+    name = "pinned-nixpkgs-for-urweb-school";
+    url = https://github.com/NixOS/nixpkgs/archive/5a8bfc98a23669f71596d079df20730ccdfdf04b.tar.gz;
+    # Hash obtained using `nix-prefetch-url --unpack <url>`
+    sha256 = "15qbfjjw5ak1bpiq36s0y9iq3j45azmb8nz06fpx4dgkg32i8fm5";
+  }) {};
+in
+{pkgs ? pinnedNixpkgs}: pkgs.callPackage ./derivation.nix {}
diff --git a/derivation.nix b/derivation.nix
new file mode 100644
index 00000000..c07ef0f6
--- /dev/null
+++ b/derivation.nix
@@ -0,0 +1,56 @@
+{ stdenv, lib, fetchFromGitHub, file, openssl, mlton
+, mysql, postgresql, sqlite, gcc
+, automake, autoconf, libtool, icu
+}:
+
+stdenv.mkDerivation rec {
+  name = "urweb-${version}";
+  version = "2018-06-22";
+  
+  # src = fetchurl {
+  #   url = "http://www.impredicative.com/ur/${name}.tgz";
+  #   sha256 = "17qh9mcmlhbv6r52yij8l9ik7j7x6x7c09lf6pznnbdh4sf8p5wb";
+  # };
+
+  # src = fetchFromGitHub {
+  #   owner = "FrigoEU";
+  #   repo = "urweb";
+  #   rev = "e52ce9f542f64750941cfd84efdb6d993ee20ff0";
+  #   sha256 = "19ba5n7g1dxy7q9949aakqplchsyzwrrnxv8v604vx5sg7fdfn3b";
+  # };
+  src = ./.;
+
+  buildInputs = [ openssl mlton mysql.connector-c postgresql sqlite automake autoconf libtool icu.dev];
+
+  # prePatch = ''
+  #   sed -e 's@/usr/bin/file@${file}/bin/file@g' -i configure
+  # '';
+
+  configureFlags = "--with-openssl=${openssl.dev}";
+
+  preConfigure = ''
+    ./autogen.sh
+    export PGHEADER="${postgresql}/include/libpq-fe.h";
+    export MSHEADER="${mysql.connector-c}/include/mysql/mysql.h";
+    export SQHEADER="${sqlite.dev}/include/sqlite3.h";
+    export CC="${gcc}/bin/gcc";
+    export CCARGS="-I$out/include \
+                   -I${icu.dev}/include \
+                   -L${openssl.out}/lib \
+                   -L${mysql.connector-c}/lib \
+                   -L${postgresql.lib}/lib \
+                   -L${sqlite.out}/lib \
+                   -L${icu.out}/lib";
+  '';
+
+  # Be sure to keep the statically linked libraries
+  dontDisableStatic = true;
+
+  meta = {
+    description = "Advanced purely-functional web programming language";
+    homepage    = "http://www.impredicative.com/ur/";
+    license     = stdenv.lib.licenses.bsd3;
+    platforms   = stdenv.lib.platforms.linux ++ stdenv.lib.platforms.darwin;
+    maintainers = [ stdenv.lib.maintainers.thoughtpolice stdenv.lib.maintainers.sheganinans ];
+  };
+}