mirror of
https://github.com/OPM/opm-simulators.git
synced 2025-01-18 05:02:58 -06:00
Merge pull request #645 from akva2/add_shared_opm_data
Use shared copy of opm-data when possible
This commit is contained in:
commit
391bda4711
@ -58,11 +58,14 @@ function build_opm_simulators {
|
||||
clone_and_build_module opm-output "-DCMAKE_PREFIX_PATH=$WORKSPACE/serial/install -DCMAKE_INSTALL_PREFIX=$WORKSPACE/serial/install" $OPM_OUTPUT_REVISION $WORKSPACE/serial
|
||||
test $? -eq 0 || exit 1
|
||||
|
||||
# Setup opm-data
|
||||
source $WORKSPACE/deps/opm-common/jenkins/setup-opm-data.sh
|
||||
|
||||
# Build opm-simulators
|
||||
pushd .
|
||||
mkdir serial/build-opm-simulators
|
||||
cd serial/build-opm-simulators
|
||||
build_module "-DCMAKE_PREFIX_PATH=$WORKSPACE/serial/install" 1 $WORKSPACE
|
||||
build_module "-DCMAKE_PREFIX_PATH=$WORKSPACE/serial/install -DOPM_DATA_ROOT=$OPM_DATA_ROOT" 1 $WORKSPACE
|
||||
test $? -eq 0 || exit 1
|
||||
popd
|
||||
}
|
||||
|
@ -1,17 +1,5 @@
|
||||
#!/bin/bash
|
||||
|
||||
# Clone opm-data if necessary
|
||||
if ! test -d deps/opm-data
|
||||
then
|
||||
OPM_DATA_REVISION="master"
|
||||
if grep -q "opm-data=" <<< $ghprbCommentBody
|
||||
then
|
||||
OPM_DATA_REVISION=pull/`echo $ghprbCommentBody | sed -r 's/.*opm-data=([0-9]+).*/\1/g'`/merge
|
||||
fi
|
||||
source $WORKSPACE/deps/opm-common/jenkins/build-opm-module.sh
|
||||
clone_module opm-data $OPM_DATA_REVISION
|
||||
fi
|
||||
|
||||
pushd .
|
||||
cd deps/opm-data
|
||||
|
||||
|
@ -1,18 +1,5 @@
|
||||
#!/bin/bash
|
||||
|
||||
# Clone opm-data if necessary
|
||||
if ! test -d deps/opm-data
|
||||
then
|
||||
OPM_DATA_REVISION="master"
|
||||
if grep -q "opm-data=" <<< $ghprbCommentBody
|
||||
then
|
||||
OPM_DATA_REVISION=pull/`echo $ghprbCommentBody | sed -r 's/.*opm-data=([0-9]+).*/\1/g'`/merge
|
||||
fi
|
||||
source $WORKSPACE/deps/opm-common/jenkins/build-opm-module.sh
|
||||
echo "grabbing opm-data rev $OPM_DATA_REVISION"
|
||||
clone_module opm-data $OPM_DATA_REVISION
|
||||
fi
|
||||
|
||||
pushd .
|
||||
cd deps/opm-data
|
||||
|
||||
|
@ -1,17 +1,5 @@
|
||||
#!/bin/bash
|
||||
|
||||
# Clone opm-data if necessary
|
||||
if ! test -d deps/opm-data
|
||||
then
|
||||
OPM_DATA_REVISION="master"
|
||||
if grep -q "opm-data=" <<< $ghprbCommentBody
|
||||
then
|
||||
OPM_DATA_REVISION=pull/`echo $ghprbCommentBody | sed -r 's/.*opm-data=([0-9]+).*/\1/g'`/merge
|
||||
fi
|
||||
source $WORKSPACE/deps/opm-common/jenkins/build-opm-module.sh
|
||||
clone_module opm-data $OPM_DATA_REVISION
|
||||
fi
|
||||
|
||||
pushd .
|
||||
cd deps/opm-data
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user