remove clobber

Author: Daniel Kroening

.travis.yml

@@ -352,7 +352,6 @@ install:
   - make -C src/ansi-c library_check
   - make -C src/cpp library_check
   - make -C src "CXX=${COMPILER} ${EXTRA_CXXFLAGS}" -j3
-  - make -C src "CXX=${COMPILER} ${EXTRA_CXXFLAGS}" -j3 clobber.dir memory-models.dir
   - make -C jbmc/src "CXX=${COMPILER} ${EXTRA_CXXFLAGS}" -j3
 
 script:

CMakeLists.txt

@@ -52,8 +52,6 @@ set_target_properties(
     big-int
     cbmc
     cbmc-lib
-    clobber
-    clobber-lib
     cpp
     driver
     goto-analyzer

src/CMakeLists.txt

@@ -96,7 +96,6 @@ add_subdirectory(pointer-analysis)
 add_subdirectory(solvers)
 add_subdirectory(util)
 add_subdirectory(xmllang)
-add_subdirectory(clobber)
 
 add_subdirectory(cbmc)
 add_subdirectory(goto-cc)

src/Makefile

@@ -3,7 +3,6 @@ DIRS = analyses \
        assembler \
        big-int \
        cbmc \
-       clobber \
        cpp \
        goto-analyzer \
        goto-cc \