remove memory-models

Author: Daniel Kroening

.travis.yml

@@ -352,7 +352,7 @@ 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 src "CXX=${COMPILER} ${EXTRA_CXXFLAGS}" -j3 clobber.dir
   - make -C jbmc/src "CXX=${COMPILER} ${EXTRA_CXXFLAGS}" -j3
 
 script:

CMakeLists.txt

@@ -71,7 +71,6 @@ set_target_properties(
     langapi
     linking
     miniBDD
-    mmcc
     pointer-analysis
     solvers
     test-bigint

src/CMakeLists.txt

@@ -91,7 +91,6 @@ add_subdirectory(jsil)
 add_subdirectory(json)
 add_subdirectory(langapi)
 add_subdirectory(linking)
-add_subdirectory(memory-models)
 add_subdirectory(pointer-analysis)
 add_subdirectory(solvers)
 add_subdirectory(util)

src/Makefile

@@ -15,7 +15,6 @@ DIRS = analyses \
        json \
        langapi \
        linking \
-       memory-models \
        pointer-analysis \
        solvers \
        util \