www

commit 0cd45b56fec9f0c418e0bd05f328295cba430c1b
parent ed7566534e8db408e80f1925c5dda634e9551629
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Wed, 21 Jun 2017 17:18:11 +0200

Forgot option

Diffstat:
M
.travis.yml
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.travis.yml b/.travis.yml
@@ -66,7 +66,7 @@ before_install:
 
 install:
  - raco pkg update --all --scope user
- - raco pkg install -j 2 phc-adt
+ - raco pkg install -j 2 phc-adt --deps search-auto
 # - raco pkg install -j 2 --deps search-auto
 # --no-setup
 # - (while ! test -e ~/done.txt; do sleep 10; echo -n '.'; done) & raco setup -v -j 2 --pkgs phc-thesis && touch ~/done.txt