diff --git a/vagrantSandbox/README b/vagrantSandbox/README index ba319ce3d..71b4d301b 100644 --- a/vagrantSandbox/README +++ b/vagrantSandbox/README @@ -24,11 +24,11 @@ One can then connect to the virtual machine with : vagrant ssh 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 diff --git a/vagrantSandbox/initGeneralScript.sh b/vagrantSandbox/initGeneralScript.sh index c3e044372..9b9c46a3c 100755 --- a/vagrantSandbox/initGeneralScript.sh +++ b/vagrantSandbox/initGeneralScript.sh @@ -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 diff --git a/vagrantSandbox/skel/bootstrapAndTest.sh b/vagrantSandbox/skel/bootstrapAndTest.sh index 864fb65ff..cc8edcd43 100755 --- a/vagrantSandbox/skel/bootstrapAndTest.sh +++ b/vagrantSandbox/skel/bootstrapAndTest.sh @@ -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 diff --git a/vagrantSandbox/skel/bootstrapFoam.sh b/vagrantSandbox/skel/bootstrapFoam.sh index 66fe0e40c..5150f016f 100755 --- a/vagrantSandbox/skel/bootstrapFoam.sh +++ b/vagrantSandbox/skel/bootstrapFoam.sh @@ -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 )