summaryrefslogtreecommitdiff
path: root/frontends/verific/build_amd64.txt
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-08-12 15:21:06 +0200
committerClifford Wolf <clifford@clifford.at>2014-08-12 15:21:06 +0200
commit593264e9edce8b1df1d5b691353fa592261d4f3b (patch)
treed823596064cab0dff9971cd44525a13fd8fbf40e /frontends/verific/build_amd64.txt
parentcad98bcd89cd9747f3ea9e35eed8d9bbedd64d7a (diff)
Fixed building verific bindings
Diffstat (limited to 'frontends/verific/build_amd64.txt')
-rw-r--r--frontends/verific/build_amd64.txt2
1 files changed, 1 insertions, 1 deletions
diff --git a/frontends/verific/build_amd64.txt b/frontends/verific/build_amd64.txt
index 2f325e51..2c3ba7b4 100644
--- a/frontends/verific/build_amd64.txt
+++ b/frontends/verific/build_amd64.txt
@@ -6,7 +6,7 @@ only have the i386 eval version of Verific:
1.) Use a Makefile.conf like the following one:
--snip--
-CONFIG := clang-debug
+CONFIG := clang
ENABLE_TCL := 0
ENABLE_QT4 := 0
ENABLE_ABC := 0