[ci] Build addons and .coq-pkg files in Travis.

.travis.yml

@@ -49,6 +49,10 @@ script:
 - echo -en 'travis_fold:end:coq.build\\r'
 - echo 'Building JsCoq...' && echo -en 'travis_fold:start:jscoq.build\\r'
 - make jscoq
+- make libs-pkg
 - echo -en 'travis_fold:end:jscoq.build\\r'
 - echo 'Building Addons...' && echo -en 'travis_fold:start:addons.build\\r'
+- make addons
+- make jscoq
+- make libs-pkg
 - echo -en 'travis_fold:end:addons.build\\r'

dune

@@ -44,6 +44,12 @@
    node_modules
    coq-js/jscoq_worker.bc.js))
 
+; Just the worker
+(alias
+  (name jscoq_worker)
+  (deps
+    coq-js/jscoq_worker.bc.js))
+
 (alias
  (name libs-pkg)
  (deps coq-pkgs)
@@ -51,6 +57,6 @@
    (progn
     ; Pending on proper support for globs inside directory targets
     (bash "node %{dep:coq-jslib/mkpkg.js} coq-pkgs/*.json")
-    (bash "node %{dep:coq-jslib/mkdeps.js} coq-pkgs/init.json coq-pkgs/coq-*.json %{env:COQDIR=}/.vfiles.d"))))
+    (bash "node %{dep:coq-jslib/mkdeps.js} coq-pkgs/init.json coq-pkgs/coq-*.json %{env:COQBUILDDIR=}/.vfiles.d"))))
 
 ; (dirs (:standard \ coq-external))