Remove the java_bytecode/library/ folder

It used to have a built-in version of a library, but it's not actually
needed (or used) anymore.

Author: tautschnig

jbmc/src/java_bytecode/CMakeLists.txt

@@ -1,6 +1,3 @@
-# include here the targets defined in library/
-add_subdirectory(library)
-
 # target 'java_bytecode' depends on all .cpp and .h files
 file(GLOB sources "*.cpp")
 file(GLOB_RECURSE headers "*.h")

jbmc/src/java_bytecode/Makefile

@@ -68,13 +68,17 @@ all: library java_bytecode$(LIBEXT)
 
 clean: clean_library
 
+LIBRARY_DIR = ../../lib/java-models-library
+
 .PHONY: clean_library
 clean_library:
-	$(MAKE) clean -C library
+	if [ -d $(LIBRARY_DIR) ]; then cd $(LIBRARY_DIR); mvn --quiet clean; fi
 
 .PHONY: library
 library:
-	$(MAKE) -C library
+	if [ -d $(LIBRARY_DIR) ]; then \
+		(cd $(LIBRARY_DIR); mvn --quiet -Dmaven.test.skip=true package); \
+	fi
 
 ###############################################################################