about summary refs log tree commit diff homepage
path: root/lib/Module
diff options
context:
space:
mode:
authorDan Liew <daniel.liew@imperial.ac.uk>2017-07-21 16:30:41 +0100
committerDan Liew <delcypher@gmail.com>2017-10-04 22:27:29 +0100
commitbe4260c83711fa4efe6588a7dfe43fa721ca9b8b (patch)
treecde35c1ba810602bd6f55f7bfcc11b50e45cb484 /lib/Module
parentafb9326f7437c9eeaa2617c589312263bc7a14ba (diff)
downloadklee-be4260c83711fa4efe6588a7dfe43fa721ca9b8b.tar.gz
Remove Autoconf/Makefile build system and adjust the TravisCI
configuration, TravisCI scripts and Dockerfile build appropriately.

There are a bunch of clean ups this enables but this commit doesn't
attempt them. We can do that in future commits.
Diffstat (limited to 'lib/Module')
-rwxr-xr-xlib/Module/Makefile17
1 files changed, 0 insertions, 17 deletions
diff --git a/lib/Module/Makefile b/lib/Module/Makefile
deleted file mode 100755
index 091a7d45..00000000
--- a/lib/Module/Makefile
+++ /dev/null
@@ -1,17 +0,0 @@
-#===-- lib/Module/Makefile ---------------------------------*- Makefile -*--===#
-#
-#                     The KLEE Symbolic Virtual Machine
-#
-# This file is distributed under the University of Illinois Open Source
-# License. See LICENSE.TXT for details.
-#
-#===------------------------------------------------------------------------===#
-
-LEVEL=../..
-
-LIBRARYNAME=kleeModule
-DONT_BUILD_RELINKED=1
-BUILD_ARCHIVE=1
-NO_INSTALL=1
-
-include $(LEVEL)/Makefile.common