Clean up references to php frontend

Author: peterschrammel

src/clobber/CMakeLists.txt

@@ -25,7 +25,6 @@ target_link_libraries(clobber-lib
 )
 
 add_if_library(clobber-lib bv_refinement)
-add_if_library(clobber-lib php)
 
 # Executable
 add_executable(clobber clobber_main.cpp)

src/clobber/Makefile

@@ -31,11 +31,6 @@ CLEANFILES = clobber$(EXEEXT)
 
 all: clobber$(EXEEXT)
 
-ifneq ($(wildcard ../php/Makefile),)
-  OBJ += ../php/php$(LIBEXT)
-  CP_CXXFLAGS += -DHAVE_PHP
-endif
-
 ###############################################################################
 
 clobber$(EXEEXT): $(OBJ)

src/goto-analyzer/CMakeLists.txt

@@ -23,7 +23,6 @@ target_link_libraries(goto-analyzer-lib
 
 add_if_library(goto-analyzer-lib java_bytecode)
 add_if_library(goto-analyzer-lib jsil)
-add_if_library(goto-analyzer-lib php)
 
 # Executable
 add_executable(goto-analyzer goto_analyzer_main.cpp)

src/goto-diff/CMakeLists.txt

@@ -25,7 +25,6 @@ target_link_libraries(goto-diff-lib
 
 add_if_library(goto-diff-lib java_bytecode)
 add_if_library(goto-diff-lib jsil)
-add_if_library(goto-diff-lib php)
 
 # Executable
 add_executable(goto-diff goto_diff_main.cpp)

src/goto-diff/Makefile

@@ -46,11 +46,6 @@ CLEANFILES = goto-diff$(EXEEXT)
 
 all: goto-diff$(EXEEXT)
 
-ifneq ($(wildcard ../php/Makefile),)
-  OBJ += ../php/php$(LIBEXT)
-  CP_CXXFLAGS += -DHAVE_PHP
-endif
-
 ###############################################################################
 
 goto-diff$(EXEEXT): $(OBJ)