IF(CMAKE_COMPILER_IS_GNUCXX)
	SET(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -g -ansi -pedantic -Wall")
ENDIF(CMAKE_COMPILER_IS_GNUCXX)
ADD_SUBDIRECTORY (indefinite)
ADD_SUBDIRECTORY (pln)

IF(CMAKE_COMPILER_IS_GNUCXX)
	SET(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -g -ansi -pedantic -Wall")
ENDIF(CMAKE_COMPILER_IS_GNUCXX)
ADD_SUBDIRECTORY (pln)

Build fix, IndefiniteTruthValue test broken though...
Build fix, IndefiniteTruthValue test broken though...