diff --git a/ubuntu16_files/Vagrantfile b/ubuntu16_files/Vagrantfile index fb5388c223bec10f29a49c0aadfc9218b98a1d54..9624131fca6d4114d237bc9ff17b2ca974871e6d 100644 --- a/ubuntu16_files/Vagrantfile +++ b/ubuntu16_files/Vagrantfile @@ -17,6 +17,7 @@ Vagrant.configure(2) do |config| # README step 0, unpack tarball. zipr_toolchain.vm.provision "shell", privileged: false, inline: <<-SHELL cd /home/vagrant + echo "Extracting zipr_toolchain.tgz into VM." tar xzf /vagrant/zipr_toolchain.tgz SHELL diff --git a/ubuntu16_files/generate_ais_installer.sh b/ubuntu16_files/generate_ais_installer.sh index 9c54067703399a5aa924595abd6f3c80db241db7..e2229b294b906c901b3f6a99f72f3e6455c373b0 100755 --- a/ubuntu16_files/generate_ais_installer.sh +++ b/ubuntu16_files/generate_ais_installer.sh @@ -4,5 +4,9 @@ cd $PEASOUP_UMBRELLA_DIR ./regen_install.sh ida ps zipr ubuntu16 stars cp -r installed zipr_toolchain + +echo "Creating zipr_toolchain.tgz" tar czf ubuntu16_files/zipr_toolchain.tgz zipr_toolchain rm -Rf zipr_toolchain + +$PEDI_HOME/pedi -c -m manifest.txt