[install] Downloads new CMake files
@@ -32,7 +32,7 @@ chmod +x clava-doc
# get CMake modules
mkdir /usr/local/lib/clava
cd /usr/local/lib/clava
-# It seems that GitHub does not store timestamping information
+# It seems that GitHub does not store time-stamping information?
#wget https://raw.githubusercontent.com/specs-feup/clava/master/CMake/ClavaConfig.cmake -O $SCRIPTPATH/ClavaConfig.cmake
#wget https://raw.githubusercontent.com/specs-feup/clava/master/CMake/ApplyLARA.cmake -O $SCRIPTPATH/ApplyLARA.cmake
#wget https://raw.githubusercontent.com/specs-feup/clava/master/CMake/ClavaConfig.cmake -O ClavaConfig.cmake
@@ -45,3 +45,9 @@ cd /usr/local/lib/clava
wget -N specs.fe.up.pt/tools/clava/ClavaConfig.cmake
wget -N specs.fe.up.pt/tools/clava/ApplyLARA.cmake
echo -n "$SCRIPTPATH/clava.jar" > clava-installation-jar.txt
+
+mkdir clava
+cd clava
+wget -N specs.fe.up.pt/tools/clava/ClavaGenerate.cmake
+wget -N specs.fe.up.pt/tools/clava/ClavaWeave.cmake
+cd ..
