Index: /issm/trunk-jpl/m4/issm_options.m4
===================================================================
--- /issm/trunk-jpl/m4/issm_options.m4	(revision 15259)
+++ /issm/trunk-jpl/m4/issm_options.m4	(revision 15260)
@@ -60,5 +60,5 @@
 			export CFLAGS="-DWIN32 -D_INTEL_WIN_ -EHsc"
 			export AR="ar-lib lib"
-         export OS_LDFLAG="-Wl,"
+			export OS_LDFLAG="-Wl,"
 			export RANLIB=true
 			OSLIBS="-Wl,kernel32.lib -Wl,user32.lib -Wl,gdi32.lib -Wl,winspool.lib -Wl,comdlg32.lib -Wl,advapi32.lib -Wl,shell32.lib -Wl,ole32.lib -Wl,oleaut32.lib -Wl,uuid.lib -Wl,odbc32.lib -Wl,odbccp32.lib"
@@ -69,5 +69,5 @@
 			export CFLAGS="-DWIN32 -D_INTEL_WIN_ -EHsc"
 			export AR="ar-lib lib"
-         export OS_LDFLAG="-Wl,"
+			export OS_LDFLAG="-Wl,"
 			export RANLIB=true
 			OSLIBS="-Wl,kernel32.lib -Wl,user32.lib -Wl,gdi32.lib -Wl,winspool.lib -Wl,comdlg32.lib -Wl,advapi32.lib -Wl,shell32.lib -Wl,ole32.lib -Wl,oleaut32.lib -Wl,uuid.lib -Wl,odbc32.lib -Wl,odbccp32.lib"
@@ -619,7 +619,7 @@
 			*linux*)
 			if test $PETSC_MAJOR -lt 3 ; then
-				PETSCLIB="-L$PETSC_ROOT/lib libpetscksp.lib libpetscdm.lib libpetscmat.lib libpetscvec.lib libpetscsnes.lib libpetscts.lib libmpiuni.lib libpetsc.lib"
+				PETSCLIB="-L$PETSC_ROOT/lib -lpetscksp -lpetscdm -lpetscmat -lpetscvec -lpetscsnes -lpetscts -lmpiuni -lpetsc"
 			else
-				PETSCLIB="-L$PETSC_ROOT/lib libpetsc.lib"
+				PETSCLIB="-L$PETSC_ROOT/lib -lpetsc -ldll"
 				if test $PETSC_MAJOR -gt 3 || test $PETSC_MINOR -ge 3; then PETSCLIB+=" -lmetis"; fi
 			fi