From c6f9a9b8468b3746a3dec7ee2a0b7d84ec9fb44a Mon Sep 17 00:00:00 2001
From: Jan-Simon Moeller <jsmoeller@linuxfoundation.org>
Date: Thu, 19 Jul 2018 13:08:17 +0000
Subject: Revert "Add PolicyManager as plugin"

This reverts commit 99b6f4d2fcd421d3a760a88a67e511fb6fc98068.

Change-Id: I8725ca05a3e3fa0ea9e1db935e9e7d5b85a9affd
---
 CMakeLists.txt | 12 ------------
 1 file changed, 12 deletions(-)

(limited to 'CMakeLists.txt')

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 92ee691..4ed6d6d 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -79,16 +79,4 @@ set(SANITIZER_MODE "none" CACHE STRING "Build using a specific sanitizer (e.g. '
 
 set(LINK_LIBCXX OFF CACHE BOOL "Link against LLVMs libc++")
 
-# Set name of PolicyManager and STM
-set(PLUGIN_PM policy_manager)
-set(USE_STM_NAME stub)
-
-# Add STM
-add_subdirectory(src/${PLUGIN_PM}/stm/${USE_STM_NAME}/src)
-include_directories(src/${PLUGIN_PM}/stm/${USE_STM_NAME}/src)
-
-# Add PolicyManager as plugin
-add_subdirectory(src/${PLUGIN_PM})
-include_directories(src/${PLUGIN_PM})
-
 add_subdirectory(src)
-- 
cgit 1.2.3-korg