CRAVE crave_package_deps.tar.gz dependency not found.

[vladarm]

Hello Everyone.

I am trying to offline build CRAVE on Red Hat 7.9 but keep getting "crave_package_deps.tar.gz" is missing (see below). Can you please help me find "crave_package_deps.tar.gz"?

• export CRAVE_OFFLINE_BUILD=ON

CRAVE/crave-master% ./buildscript install
Install dependencies using 1 thread(s)
SystemC: found SystemC at /cad2/tools/Accellera/systemc/2.3.4_cpp11
CRAVE: Installing CRAVE.
Build CRAVE using 1 thread(s)
./bootstrap.sh -d /CRAVE/crave-master/crave/deps /CRAVE/crave-master/crave/build --systemc  -b cudd  -b z3
activated backends are: z3 cudd 
Offline build activated.
Could not find the dependency cache crave_package_deps.tar.gz. Please provide crave_package_deps.tar.gz or switch to online build

 

Note, I see that your "crave/.gitignore" file has "crave_package_deps.tar.gz" file name.

• https://github.com/accellera-official/crave/blob/master/.gitignore

 

Maybe can you please add "crave_package_deps.tar.gz" to your repo below and remove it's name from "crave/.gitignore" file.

• https://github.com/accellera-official/crave/tree/master

Thank you.

Vlad.