Index: /issm/trunk-jpl/configs/config-greenplanet.sh
===================================================================
--- /issm/trunk-jpl/configs/config-greenplanet.sh	(revision 12386)
+++ /issm/trunk-jpl/configs/config-greenplanet.sh	(revision 12387)
@@ -10,4 +10,5 @@
  --with-metis-dir=$ISSM_DIR/externalpackages/metis/install \
  --with-petsc-dir=$ISSM_DIR/externalpackages/petsc/install \
+ --with-tao-dir=$ISSM_DIR/externalpackages/tao/install \
  --with-mpi-include="/sopt/mpi/openmpi-1.5.4_psm/intel/include/" \
  --with-mpi-lib="-L/sopt/mpi/openmpi-1.5.4_psm/intel/lib/ -lmpi -lmpi_f77" \