mirror of
https://github.com/moses-smt/mosesdecoder.git
synced 2024-09-11 11:25:40 +03:00
scripts/Makefile now do not always clean, but 'make clean' has been added git-svn-id: https://mosesdecoder.svn.sourceforge.net/svnroot/mosesdecoder/trunk@895 1f5c12ca-751b-0410-a591-d2e778427230
51 lines
1.3 KiB
Bash
Executable File
51 lines
1.3 KiB
Bash
Executable File
#!/bin/bash
|
|
|
|
rev="$1"
|
|
|
|
if [ "$rev" == "" ]; then
|
|
cat << KONEC
|
|
./validate_revision.sh <revnumber>
|
|
This will check, if the given revision was compilable (using irstlm).
|
|
These tasks will be performed:
|
|
svn update -r <revnumber>
|
|
compile and install irstlm to a temp directory
|
|
compile moses with irstlm
|
|
delete the temp directory
|
|
KONEC
|
|
exit 1;
|
|
fi
|
|
|
|
tempdir=/tmp/validatemoses
|
|
|
|
function die() {
|
|
rm -rf $tempdir
|
|
echo "$@"
|
|
exit 1
|
|
}
|
|
|
|
if svn status | grep '^[^\?]'; then
|
|
die "Will not go to a different revision, please synchronize with a revision in repository first"
|
|
fi
|
|
|
|
svn up -r $rev || die "Failed to update to rev. $rev"
|
|
# dump the information
|
|
svn info
|
|
|
|
./regenerate-makefiles.sh || die "Failed to regenerate makefiles in mosesdecoder"
|
|
|
|
|
|
cd irstlm || die "Failed to chdir to irstlm"
|
|
./regenerate-makefiles.sh || die "Failed to regenerate makefiles in irstlm"
|
|
./configure --prefix=$tempdir/irstlm || die "Failed to configure irstlm"
|
|
make clean || die "Failed to clean irstlm"
|
|
make || die "Failed to compile irstlm"
|
|
make install || die "Failed to install irstlm"
|
|
cd ..
|
|
|
|
./configure --with-irstlm=$tempdir/irstlm || die "Failed to configure moses"
|
|
make clean || die "Failed to clean moses"
|
|
make || die "Failed to compile moses"
|
|
|
|
rm -rf $tempdir || die "Failed to remove tempdir $tempdir"
|
|
echo "Moses successfully compiled"
|