www

commit 8fb35c3cfcac06351c0f93a13e0fd9b441d567d1
parent 67ed49200cd9fa399474964b8bd7408f01751489
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Fri,  7 Jul 2017 16:00:56 +0200

Trying to debug the Travis build.

Diffstat:
M
.gitignore
 | 
2
++
M
.travis.yml
 | 
3
++-
M
Makefile
 | 
2
+-

3 files changed, 5 insertions(+), 2 deletions(-)
diff --git a/.gitignore b/.gitignore
@@ -4,3 +4,4 @@
 .DS_Store
 compiled/
 /doc/
+/make.log
+\ No newline at end of file
diff --git a/.travis.yml b/.travis.yml
@@ -58,7 +58,8 @@ jobs:
       - raco setup --check-pkg-deps --no-zo --no-launcher --no-install --no-post-install --no-docs --pkgs "$(basename "$TRAVIS_BUILD_DIR")";
       - rm -fr doc/
       - raco scribble --dest doc/phc-thesis --html --dest-name index --redirect-main https://docs.racket-lang.org/ --redirect https://docs.racket-lang.org/ scribblings/phc-thesis.scrbl
-      - make > make.log
+      - (while sleep 10; do free -m || echo "."; done) &
+      - make
       - tail -n 500 make.log
       - find doc -name '*.html' -type f -print0 | xargs -0 ls -ld
       - find doc -name '*.html' -type f -print0 | xargs -0 sed -i -e 's|https://download\.racket-lang\.org/docs/6\.9/html/|https://docs.racket-lang.org/|g'
diff --git a/Makefile b/Makefile
@@ -2,6 +2,6 @@
 all: doc/pdf/phc-thesis.pdf
 
 doc/pdf/phc-thesis.pdf: scribblings/*.scrbl scribblings/*.rkt
-	raco setup --doc-pdf doc/pdf/ --pkgs phc-thesis
+	raco setup --doc-pdf doc/pdf/ --pkgs phc-thesis > make.log
 	gs -dNOPAUSE -dBATCH -sDEVICE=pdfwrite -dFastWebView=true -sOutputFile=doc/pdf/phc-thesis-linearized.pdf doc/pdf/phc-thesis.pdf
 	mv doc/pdf/phc-thesis-linearized.pdf doc/pdf/phc-thesis.pdf