Configure bare-bones Travis build

yurrriq · yurrriq · commit b38a117c2022 · 2018-10-26T01:45:36.000-05:00
diff --git a/.gitignore b/.gitignore
@@ -189,3 +189,7 @@ TSWLatexianTemp*
 ## Generated LaTeX files:
 *.tex
 src/auto/
+
+
+## Nix
+/result*
diff --git a/.travis.yml b/.travis.yml
@@ -0,0 +1,3 @@
+language: nix
+# FIXME: Why does pandoc fail in nix-build?
+script: nix-shell --pure --run make
diff --git a/README.md b/README.md
@@ -1,5 +1,7 @@
 # _[Software Foundations][SF] in Idris_
 
+[![Build Status](https://travis-ci.org/idris-hackers/software-foundations.svg?branch=develop)](https://travis-ci.org/idris-hackers/software-foundations)
+
 :book: [Download the PDF][PDF]
 
 

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+language: nix`
	`2`	`+# FIXME: Why does pandoc fail in nix-build?`
	`3`	`+script: nix-shell --pure --run make`