From 0a1a954622f8e93f80735730f661c0670ac4c0f1 Mon Sep 17 00:00:00 2001 From: Andrew Wu Date: Thu, 20 Sep 2018 10:40:17 -0700 Subject: clean up --- cryptominisat5/build/CMakeFiles/TargetDirectories.txt | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100644 cryptominisat5/build/CMakeFiles/TargetDirectories.txt (limited to 'cryptominisat5/build/CMakeFiles/TargetDirectories.txt') diff --git a/cryptominisat5/build/CMakeFiles/TargetDirectories.txt b/cryptominisat5/build/CMakeFiles/TargetDirectories.txt deleted file mode 100644 index fddc4de90..000000000 --- a/cryptominisat5/build/CMakeFiles/TargetDirectories.txt +++ /dev/null @@ -1,17 +0,0 @@ -/barrett/scratch/haozewu/CVC4/cryptominisat5/build/CMakeFiles/install.dir -/barrett/scratch/haozewu/CVC4/cryptominisat5/build/CMakeFiles/list_install_components.dir -/barrett/scratch/haozewu/CVC4/cryptominisat5/build/CMakeFiles/rebuild_cache.dir -/barrett/scratch/haozewu/CVC4/cryptominisat5/build/CMakeFiles/uninstall.dir -/barrett/scratch/haozewu/CVC4/cryptominisat5/build/CMakeFiles/install/strip.dir -/barrett/scratch/haozewu/CVC4/cryptominisat5/build/CMakeFiles/install/local.dir -/barrett/scratch/haozewu/CVC4/cryptominisat5/build/CMakeFiles/edit_cache.dir -/barrett/scratch/haozewu/CVC4/cryptominisat5/build/cmsat5-src/CMakeFiles/rebuild_cache.dir -/barrett/scratch/haozewu/CVC4/cryptominisat5/build/cmsat5-src/CMakeFiles/edit_cache.dir -/barrett/scratch/haozewu/CVC4/cryptominisat5/build/cmsat5-src/CMakeFiles/install/local.dir -/barrett/scratch/haozewu/CVC4/cryptominisat5/build/cmsat5-src/CMakeFiles/install/strip.dir -/barrett/scratch/haozewu/CVC4/cryptominisat5/build/cmsat5-src/CMakeFiles/cryptominisat5.dir -/barrett/scratch/haozewu/CVC4/cryptominisat5/build/cmsat5-src/CMakeFiles/install.dir -/barrett/scratch/haozewu/CVC4/cryptominisat5/build/cmsat5-src/CMakeFiles/list_install_components.dir -/barrett/scratch/haozewu/CVC4/cryptominisat5/build/cmsat5-src/CMakeFiles/cryptominisat5_simple.dir -/barrett/scratch/haozewu/CVC4/cryptominisat5/build/cmsat5-src/CMakeFiles/libcryptominisat5.dir -/barrett/scratch/haozewu/CVC4/cryptominisat5/build/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir -- cgit v1.2.3