[Jenkins] Build OGS_USE_PETSC=ON on envinf1.

scripts/env/envinf1/gui.sh

-DIR=$( cd $(dirname $0) ; pwd -P )
+DIR=$( cd $(dirname "${BASH_SOURCE[0]}") ; pwd -P )
 source $DIR/cli.sh
 module load shapelib/1.3.0_gcc_4.8.1

scripts/env/envinf1/petsc.sh

+DIR=$( cd $(dirname "${BASH_SOURCE[0]}") ; pwd -P )
+source $DIR/mpi.sh
+module load petsc/3.7.2_maint_petsc_maint_3.7.2_gcc_openmpi_1.8.4-2

scripts/jenkins/gcc-dynamic.groovy

@@ -14,6 +14,8 @@ stage('Configure (envinf1)') {
     configure.linux(cmakeOptions: defaultCMakeOptions, env: 'envinf1/cli.sh', script: this)
     configure.linux(cmakeOptions: defaultCMakeOptions + '-DOGS_USE_MPI=ON',
         dir: 'build-mpi', env: 'envinf1/mpi.sh', script: this)
+    configure.linux(cmakeOptions: defaultCMakeOptions + '-DOGS_USE_PETSC=ON',
+        dir: 'build-petsc', env: 'envinf1/petsc.sh', script: this)
 }
 
 stage('CLI (envinf1)') {
@@ -21,7 +23,10 @@ stage('CLI (envinf1)') {
         build.linux(env: 'envinf1/cli.sh', script: this)
     }, mpi: {
         build.linux(dir: 'build-mpi', env: 'envinf1/mpi.sh', script: this)
+    }, petsc: {
+        build.linux(dir: 'build-petsc', env: 'envinf1/petsc.sh', script: this)
     }
+
 }
 
 stage('Test (envinf1)') {
@@ -30,6 +35,9 @@ stage('Test (envinf1)') {
     }, mpi: {
         build.linux(dir: 'build-mpi', env: 'envinf1/mpi.sh', script: this,
             target: 'tests ctest')
+    }, petsc: {
+        build.linux(dir: 'build-petsc', env: 'envinf1/petsc.sh', script: this,
+            target: 'tests ctest')
     }
 }