diffblue · tautschnig · Aug 15, 2018 · Aug 15, 2018
@@ -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:

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

@@ -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)

@@ -3,7 +3,6 @@ DIRS = analyses \
        assembler \
        big-int \
        cbmc \
-       clobber \
        cpp \
        goto-analyzer \
        goto-cc \
-Original file line number
+Diff line change
@@ Expand Up / @@ -52,8 +52,6 @@ set_target_properties( @@
         big-int
         cbmc
         cbmc-lib
-        clobber
-        clobber-lib
         cpp
         driver
         goto-analyzer
@@ Expand Down @@