g++: error: ......No such file or directory about avr HOT 4 CLOSED

When checking the code, it was found that the error occurred when compiling /avr/src/reach. Further inspection of the Makefile file revealed that there is a problem with this code:

The main issues include two points:

• BT_LIB += $(BT_DIR)/deps/btor2tools/build/libbtor2parser.a, there is an overlap problem between $(BT_DIR) and deps/btor2tools/build/libbtor2parser.a.
• cadical is missing in the deps folder and needs to be installed

from avr.

Solution:

All the following operations are in the project avr/ directory

1. Download cadical

cd deps
git clone https://github.com/arminbiere/cadical.git

2. Install according to cadical readme

cd /deps/cadical
./configure
make

3. Modify the problematic area (lines 37-45) of the Makefile in /src/reach to the following

ifeq ($(ENABLE_BT), 1)
  BT_DIR = $(DEPS)/boolector
  BT_LIB = $(BT_DIR)/build/lib/libboolector.a
  BT_LIB +=  $(DEPS)/btor2tools/build/lib/libbtor2parser.a
  BT_LIB +=  $(DEPS)/cadical/build/libcadical.a
  INCLUDE += -I$(BT_DIR)/src
  LINKLIBS += $(BT_LIB)
  CFLAGS += -D_BT
endif

Then recompile in /src/reach

cd /src/reach
make

from avr.

@aman-goel This deps dependency is missing and the /src/reach/Makefile bug. Please take a look at it to help modify it.

from avr.

(Apologies for my super late response)

Thanks for raising the issue.

• Bto2tools library path is now corrected.
• Cadical is installed when installing Boolector here

from avr.