mirror of
https://github.com/subsurface/subsurface.git
synced 2025-02-19 22:16:15 +00:00
[smtk-import] Move to current mdbtools github repo
Original mdbtools developer gave up the project some time ago, and it's continued with his permission in a forked repo: https://github.com/mdbtools/mdbtools.git There was a nasty bug in libmdb, triggered under some rare circustances, that is solved in the new repo which is, BTW, under current development. Move our scripts to the new repo and set our working version to the latest release tag, currently, "v1.0.0" Signed-off-by: Salvador Cuñat <salvador.cunat@gmail.com>
This commit is contained in:
parent
3d902864ed
commit
e3a32f7e92
3 changed files with 6 additions and 5 deletions
|
@ -108,15 +108,16 @@ else
|
|||
cd "$BASEDIR"/mdbtools || aborting "Couldn't cd into $BASEDIR/mdbtools"
|
||||
git pull --rebase || aborting "Problem downloading/updating mdbtools"
|
||||
else
|
||||
git clone https://github.com/brianb/mdbtools.git "$BASEDIR"/mdbtools || \
|
||||
git clone https://github.com/mdbtools/mdbtools.git "$BASEDIR"/mdbtools || \
|
||||
aborting "Problem downloading/updating mdbtools"
|
||||
fi
|
||||
|
||||
echo "----> Building mdbtools ..."
|
||||
echo "----> This will display a lot of errors and warnings"
|
||||
cd "$BASEDIR"/mdbtools || aborting "Couldn't cd into $BASEDIR/mdbtools"
|
||||
git checkout "v1.0.0"
|
||||
autoreconf -i -f
|
||||
./configure --prefix "$INSTALL_ROOT" --disable-man --disable-gmdb2 >/dev/null
|
||||
./configure --prefix "$INSTALL_ROOT" --disable-man --without-bash-completion-dir >/dev/null
|
||||
make "$JOBS">/dev/null || aborting "Building mdbtools failed"
|
||||
make install
|
||||
fi
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue