Update the README and makefile for env-js.

diff --git a/lib/README b/lib/README
index 699a26aebd25a8f6ce90f36b987175f27aba300a..3fe3542f0957e218e63302d3d33302dc30002bb5 100644 (file)
--- a/lib/README
+++ b/lib/README
@@ -1,6 +1,8 @@
-Third-party libraries are stored here. Currently, we use Shapely and
-lp_solve (along with its Python bindings). To install them, simply run
-'make' within this directory. You can also run 'make lib' in the
-top-level directory.
+Third-party libraries are stored here. Currently, we use Shapely,
+lp_solve (along with its Python bindings), and env-js. To install
+them, simply run 'make' within this directory. You can also run 'make
+lib' in the top-level directory.
 
 You will need GEOS installed for Shapely to work properly.
+
+Env-js requires a Java runtime, and the Ant utility, at least.

diff --git a/lib/makefile b/lib/makefile
index d0b160250b30d9a1d4e6e3afdeb838283802272d..dd671139352f1f908563ab6242ca1798800b9672 100644 (file)
--- a/lib/makefile
+++ b/lib/makefile
@@ -3,7 +3,9 @@ LP_SOLVE_LIB_URL=http://downloads.sourceforge.net/project/lpsolve/lpsolve/5.5.0.
 LP_SOLVE_PYTHON_URL=http://downloads.sourceforge.net/project/lpsolve/lpsolve/5.5.0.15/lp_solve_5.5.0.15_Python_source.tar.gz
 
 
-all: lp_solve shapely
+.PHONY : env-js
+
+all: lp_solve shapely env-js
 
 
 clean:
@@ -66,3 +68,8 @@ lp_solve_python_src: lp_solve_lib_src
                tar -xvzf lp_solve_python.tar.gz;                      \
                rm lp_solve_python.tar.gz;                             \
        fi;
+
+
+# A phony target, always run.
+env-js:
+       cd env-js && ant concat