Adapt vagrant-stuff for new version number

This commit is contained in:
Bernhard F.W. Gschaider 2015-08-19 20:51:44 +02:00 committed by Hrvoje Jasak
parent 403fda0869
commit b2518ddf93
4 changed files with 6 additions and 6 deletions

View file

@ -24,11 +24,11 @@
One can then connect to the virtual machine with
: vagrant ssh <machinName>
and will be in the =$HOME= directory of the user =vagrant= where in
the directory =~/foam/foam-extend-3.1= the sources are
the directory =~/foam/foam-extend-3.2= the sources are
available. Modifications can be pushed "outside" the virtual machine
with
: hg push
There is also a symbolic link =~/foam/foam-extend-3.1-parent=
There is also a symbolic link =~/foam/foam-extend-3.2-parent=
to the sources if you want to edit there directly. Use with care
and don't compile in that directory unless you know what you're
doing

View file

@ -29,7 +29,7 @@ chown -R vagrant:vagrant $OFDIR
# for distros that don't have group vagrant
chown -R vagrant $OFDIR
OFClone=$OFDIR/foam-extend-3.1
OFClone=$OFDIR/foam-extend-3.2
OFReference=$OFClone-parent
OFParent=/FOAM-sources

View file

@ -2,10 +2,10 @@
/home/vagrant/bootstrapFoam.sh
cd foam/foam-extend-3.1
cd foam/foam-extend-3.2
source etc/bashrc
cd testHarness/foam-extend/3.1/runDir
cd testHarness/foam-extend/3.2/runDir
./Allclean

View file

@ -6,7 +6,7 @@ export CCACHE_DIR=/vagrant/ccache4vm
BOOTSTRAPLOG=/home/vagrant/bootstrapFoam.log
cd foam/foam-extend-3.1
cd foam/foam-extend-3.2
source etc/bashrc
( cd wmake/src && make )