DistributedComponents
diff --git a/‎.travis-ci.sh
+4-1 b/‎.travis-ci.sh
+4-1
diff --git a/‎verdi-aggregation-proofalytics.opam
-30 b/‎verdi-aggregation-proofalytics.opam
-30
@@ -10,7 +10,10 @@ opam pin add coq $COQ_VERSION --yes --verbose
 
 case $MODE in
   proofalytics)
-    opam pin add verdi-aggregation-proofalytics . --yes --verbose &
+    opam pin add verdi-aggregation . --yes --verbose --no-action
+    opam install verdi-aggregation --yes --verbose --deps-only
+    ./configure
+    make proofalytics &
     # Output to the screen every 9 minutes to prevent a travis timeout
     export PID=$!
     while [[ `ps -p $PID | tail -n +2` ]]; do