WIP: Add crave submodule

Signed-off-by: Ryszard Rozak <[email protected]>
antmicro · Nov 16, 2023 · 13f588d · 13f588d
1 parent a9be11f
commit 13f588d
Show file tree

Hide file tree

Showing 6 changed files with 18 additions and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -71,6 +71,7 @@ jobs:
       uses: actions/checkout@v3
       with:
         path: repo
+        submodules: recursive
 
     - name: Cache $CCACHE_DIR
       uses: actions/cache@v3

diff --git a/.gitmodules b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "crave"]
+	path = crave
+	url = https://github.com/antmicro/crave.git
diff --git a/Makefile.in b/Makefile.in
@@ -133,7 +133,7 @@ VL_INST_MAN_FILES = \
 	verilator_profcfunc.1 \
 
 default: all
-all: all_nomsg msg_test
+all: all_nomsg msg_test crave
 all_nomsg: verilator_exe $(VL_INST_MAN_FILES)
 
 .PHONY:verilator_exe
@@ -537,3 +537,11 @@ preexist:
 
 maintainer-dist: preexist tag
 	svnorcvs release $(DISTTAGNAME)
+
+# CRAVE
+.PHONY: crave
+crave: crave/build
+	cmake --build crave/build
+	cmake --install crave/build
+crave/build:
+	cmake -S crave -B crave/build -DmetaSMT_USE_STP=ON -DCMAKE_INSTALL_PREFIX=.
diff --git a/crave b/crave
diff --git a/src/Makefile_obj.in b/src/Makefile_obj.in
@@ -125,6 +125,7 @@ ifeq ($(CFG_WITH_DEFENV),yes)
  else
   CPPFLAGS += -DDEFENV_VERILATOR_ROOT=\"$(VERILATOR_ROOT)\"
  endif
+  CPPFLAGS += -DDEFENV_CRAVE_ROOT=\"$(shell realpath ../..)\"
 endif
 
 HEADERS = $(wildcard V*.h v*.h)

diff --git a/src/config_build.h b/src/config_build.h
@@ -50,6 +50,9 @@
 #ifndef DEFENV_VERILATOR_ROOT
 # define DEFENV_VERILATOR_ROOT ""
 #endif
+#ifndef DEFENV_CRAVE_ROOT
+# define DEFENV_CRAVE_ROOT ""
+#endif
 // clang-format on
 
 //**********************************************************************
-Original file line number
+Diff line change
@@ Expand Up / @@ -125,6 +125,7 @@ ifeq ($(CFG_WITH_DEFENV),yes) @@
      else
       CPPFLAGS += -DDEFENV_VERILATOR_ROOT=\"$(VERILATOR_ROOT)\"
      endif
+      CPPFLAGS += -DDEFENV_CRAVE_ROOT=\"$(shell realpath ../..)\"
     endif
     HEADERS = $(wildcard V*.h v*.h)
@@ Expand Down @@