Overhaul (Nix) build

- Rename PDF: 2016 -> 2018
- Update nixpkgs reference
- Update pandoc flags
- Fix default.nix
- Improve Unicode handling
- Change font: Monoid -> Iosevka
- Simplify Preface
- Remove (seemingly) broken Tactics (for now?)

Author: yurrriq

CONTRIBUTING.md

@@ -169,6 +169,6 @@ the `all.pdf`, `all.tex` and `%.tex` rules in [`src/Makefile`].
 [glossaries package]: https://www.ctan.org/pkg/glossaries
 [glossary.tex]: https://github.com/idris-hackers/software-foundations/blob/master/src/glossary.tex
 [`src/Makefile`]: https://github.com/idris-hackers/software-foundations/blob/master/src/glossary.tex
-[PDF]: https://idris-hackers.github.io/software-foundations/pdf/sf-idris-2016.pdf
+[PDF]: https://idris-hackers.github.io/software-foundations/pdf/sf-idris-2018.pdf
 [Pandoc]: http://pandoc.org
 [latexmk]: https://www.ctan.org/pkg/latexmk/

Makefile

@@ -1,8 +1,7 @@
-PKG   := software_foundations
-
-
-# TODO: Find idris executable.
-IDRIS ?= idris
+PKG    := software_foundations
+PREFIX ?= docs
+IDRIS  ?= idris
+PDF    ?= sf-idris-2018.pdf
 
 
 .PHONY: pdf site
@@ -21,7 +20,7 @@ check:
 
 pdf:
 	$(MAKE) -C src
-	mv src/all.pdf docs/pdf/sf-idris-2016.pdf
+	mv src/all.pdf docs/pdf/${PDF}
 
 
 clean-all: clean clean-docs
@@ -40,6 +39,10 @@ site: docs/index.html
 
 
 docs/index.html: README.md CONTRIBUTING.md
-	pandoc -f markdown_github -t markdown_github \
-	-A CONTRIBUTING.md $< \
-		| pandoc -f markdown_github -t html -s -o $@
+	pandoc -f gfm -t gfm -A CONTRIBUTING.md $< | \
+		pandoc -M title='Software Foundations in Idris' \
+			-f gfm -t html -s -o $@
+
+
+install:
+	install -m644 -Dt "${PREFIX}" docs/pdf/${PDF}

README.md

@@ -37,7 +37,7 @@ Others may work, but here are the versions I'm using.
 <!-- Named Links -->
 
 [SF]: http://www.cis.upenn.edu/%7Ebcpierce/sf/current/index.html
-[PDF]: https://idris-hackers.github.io/software-foundations/pdf/sf-idris-2016.pdf
+[PDF]: https://idris-hackers.github.io/software-foundations/pdf/sf-idris-2018.pdf
 [prereqs]: #prerequisites
 [GHC]: https://www.haskell.org/ghc/
 [Idris]: https://www.idris-lang.org

VERSION

@@ -0,0 +1 @@
+0.0.2.0

default.nix

@@ -1,37 +1,85 @@
-{ nixpkgs ? import <nixpkgs> {}
-, compiler ? "ghc802"
-}:
-
 let
-  inherit (nixpkgs) pkgs;
 
-  haskellPackages = pkgs.haskell.packages."${compiler}";
-  ghc = haskellPackages.ghcWithPackages (ps: with ps; [
-    idris
-    pandoc
-  ]);
-  # FIXME: TeX Live is pretty much broken in Nix right now.
-  # xelatex = pkgs.texlive.combine {
-  #   inherit (pkgs.texlive) scheme-small xetex latexmk todonotes;
-  # };
+  fetchTarballFromGitHub =
+    { owner, repo, rev, sha256, ... }:
+    builtins.fetchTarball {
+      url = "https://github.com/${owner}/${repo}/tarball/${rev}";
+      inherit sha256;
+    };
+
+  fromJSONFile = f: builtins.fromJSON (builtins.readFile f);
+
 in
 
-pkgs.stdenv.mkDerivation rec {
-  name = "software-foundations-${version}-env";
-  version = "0.0.1.0";
+{ nixpkgs ? fetchTarballFromGitHub (fromJSONFile ./nixpkgs-src.json) }:
+
+with import nixpkgs {
+  overlays = [
+    (self: super: {
+      ghc-with-pandoc = super.haskellPackages.ghcWithPackages (ps: with ps; [
+        pandoc
+      ]);
+
+      idris = with super.idrisPackages; with-packages [
+        base
+        prelude
+        pruviloj
+      ];
 
+      xelatex = super.texlive.combine {
+        inherit (super.texlive) scheme-small
+          amsmath
+          datatool
+          dirtytalk
+          ebproof
+          fontspec
+          framed
+          fvextra
+          glossaries
+          ifplatform
+          latexmk
+          lm-math
+          mfirstuc
+          minted
+          newunicodechar
+          substr
+          todonotes
+          xetex
+          xfor
+          xindy
+          xstring;
+      };
+    })
+  ];
+};
+
+stdenv.mkDerivation rec {
+  name = "software-foundations-${version}-env";
+  version = builtins.readFile ./VERSION;
   src = ./.;
 
-  # TODO: xelatex
-  buildInputs = [ ghc ] ++
-    (with pkgs; [ python3 ]) ++
-    (with pkgs.python35Packages; [ pygments ]);
+  FONTCONFIG_FILE = makeFontsConf {
+    fontDirectories = [
+      iosevka
+    ];
+  };
+
+  buildInputs = [
+    ghc-with-pandoc
+    idris
+    python3Packages.pygments
+    xelatex
+    which
+  ];
+
+ installFlags = [
+    "PREFIX=$(out)"
+  ];
 
-  meta = with pkgs.stdenv.lib; {
+  meta = with stdenv.lib; {
     description = "Software Foundations in Idris";
-    # TODO: longDescription
-    homepage = http://idris-hackers.github.io/software-foundations;
-    # TODO: license
+    homepage = https://idris-hackers.github.io/software-foundations;
+    license = licenses.mit;
     maintainers = with maintainers; [ yurrriq ];
     inherit (ghc.meta) platforms;
   };