################################################################
# Name:		CMakeLists.txt
# Purpose:	Input file for CMake for the Scyther tool
# Author:	Cas Cremers
################################################################

# Scyther project
project (Scyther)
# I need 2.4 for flex/etc although it does not run yet
#CMAKE_MINIMUM_REQUIRED(VERSION 2.4)

# List all the source files
set (Scyther_sources
	arachne.c binding.c claim.c color.c compiler.c cost.c
	debug.c depend.c dotout.c error.c heuristic.c hidelevel.c
	intruderknowledge.c knowledge.c label.c list.c main.c mgu.c
	prune_bounds.c prune_theorems.c role.c 
	specialterm.c states.c switches.c symbol.c system.c tac.c
	termlist.c termmap.c term.c timer.c type.c warshall.c xmlout.c
	parser.c scanner.c
  )

# If we are in a debug mode we want to be strict
set (CMAKE_C_FLAGS_DEBUG "${CMAKE_C_FLAGS_DEBUG} -Wall -DDEBUG")

# Determine version number
include (SVNVersion.cmake)

# Make scanner and parser
include (ScannerParser.cmake)

# By default, we build what we get
if (WIN32)
	set (TARGETOS "WIN32")
else (WIN32)
	if (APPLE)
		set (TARGETOS "APPLE")
	else (APPLE)
		if (UNIX)
			set (TARGETOS "UNIX")
		endif (UNIX)
	endif (APPLE)
endif (WIN32)

# Determine name from type
if (${TARGETOS} STREQUAL "UNIX")
	message (STATUS "Building Linux version")
	set (scythername "scyther-linux")
endif (${TARGETOS} STREQUAL "UNIX")
if (${TARGETOS} STREQUAL "APPLE")
	message (STATUS "Building Apple version")
	set (scythername "scyther-mac")
endif (${TARGETOS} STREQUAL "APPLE")
if (${TARGETOS} STREQUAL "WIN32")
	message (STATUS "Building W32 version")
	set (scythername "scyther-w32")
endif (${TARGETOS} STREQUAL "WIN32")

# Make the Scyther linux binary
if (scythername)
	add_executable (${scythername} ${Scyther_sources})
else (scythername)
	message (FATAL_ERROR "Cannot determine target platform [${TARGETOS}]")
endif (scythername)