Jump to content

CRAVE crave_package_deps.tar.gz dependency not found.

Recommended Posts

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"?

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.


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

Thank you.


Link to comment
Share on other sites

Join the conversation

You can post now and register later. If you have an account, sign in now to post with your account.
Note: Your post will require moderator approval before it will be visible.

Reply to this topic...

×   Pasted as rich text.   Paste as plain text instead

  Only 75 emoji are allowed.

×   Your link has been automatically embedded.   Display as a link instead

×   Your previous content has been restored.   Clear editor

×   You cannot paste images directly. Upload or insert images from URL.

  • Create New...