support Java

diffblue · Apr 18, 2016 · e31bacb · e31bacb
1 parent 38d115c
commit e31bacb
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/src/goto-instrument/Makefile b/src/goto-instrument/Makefile
@@ -50,6 +50,14 @@ include ../common
 
 all: goto-instrument$(EXEEXT)
 
+ifneq ($(wildcard ../java_bytecode/Makefile),)
+  OBJ += ../java_bytecode/java_bytecode$(LIBEXT)
+  CP_CXXFLAGS += -DHAVE_JAVA_BYTECODE
+  ifneq ($(LIBZIPLIB),)
+    LIBS += $(LIBZIPLIB)
+  endif
+endif
+
 ifneq ($(LIB_GLPK),)
   LIBS += $(LIB_GLPK)
   CP_CXXFLAGS += -DHAVE_GLPK

diff --git a/src/goto-instrument/goto_instrument_languages.cpp b/src/goto-instrument/goto_instrument_languages.cpp
@@ -10,6 +10,7 @@ Author: Daniel Kroening, kroening@kroening.com
 
 #include <ansi-c/ansi_c_language.h>
 #include <cpp/cpp_language.h>
+#include <java_bytecode/java_bytecode_language.h>
 
 #include "goto_instrument_parse_options.h"
 
@@ -29,5 +30,6 @@ void goto_instrument_parse_optionst::register_languages()
 {
   register_language(new_ansi_c_language);
   register_language(new_cpp_language);
+  register_language(new_java_bytecode_language);
 }