- Removed makefile from archive, as it is now generated by cmake.
This commit is contained in:
parent
dadf2e02fb
commit
5e300ee18c
307
src/Makefile
307
src/Makefile
@ -1,307 +0,0 @@
|
|||||||
# Include the progress variables for this target.
|
|
||||||
include progress.make
|
|
||||||
|
|
||||||
# CMAKE generated file: DO NOT EDIT!
|
|
||||||
# Generated by "Unix Makefiles" Generator, CMake Version 2.4
|
|
||||||
|
|
||||||
#=============================================================================
|
|
||||||
# Set environment variables for the build.
|
|
||||||
|
|
||||||
# The shell in which to execute make rules.
|
|
||||||
SHELL = /bin/sh
|
|
||||||
|
|
||||||
# The CMake executable.
|
|
||||||
CMAKE_COMMAND = /usr/bin/cmake
|
|
||||||
|
|
||||||
# The command to remove a file.
|
|
||||||
RM = /usr/bin/cmake -E remove -f
|
|
||||||
|
|
||||||
# The program to use to edit the cache.
|
|
||||||
CMAKE_EDIT_COMMAND = /usr/bin/ccmake
|
|
||||||
|
|
||||||
# The top-level source directory on which CMake was run.
|
|
||||||
CMAKE_SOURCE_DIR = /home/cas/svn/scyther/src
|
|
||||||
|
|
||||||
# The top-level build directory on which CMake was run.
|
|
||||||
CMAKE_BINARY_DIR = /home/cas/svn/scyther/src
|
|
||||||
|
|
||||||
# Default target executed when no arguments are given to make.
|
|
||||||
default_target: all
|
|
||||||
|
|
||||||
# Special rule for the target edit_cache
|
|
||||||
edit_cache:
|
|
||||||
@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "Running CMake cache editor..."
|
|
||||||
/usr/bin/ccmake -H$(CMAKE_SOURCE_DIR) -B$(CMAKE_BINARY_DIR)
|
|
||||||
|
|
||||||
# Special rule for the target edit_cache
|
|
||||||
edit_cache/fast: edit_cache
|
|
||||||
|
|
||||||
# Special rule for the target install
|
|
||||||
install: preinstall
|
|
||||||
@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "Install the project..."
|
|
||||||
/usr/bin/cmake -P cmake_install.cmake
|
|
||||||
|
|
||||||
# Special rule for the target install
|
|
||||||
install/fast: preinstall/fast
|
|
||||||
@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "Install the project..."
|
|
||||||
/usr/bin/cmake -P cmake_install.cmake
|
|
||||||
|
|
||||||
# Special rule for the target rebuild_cache
|
|
||||||
rebuild_cache:
|
|
||||||
@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "Running CMake to regenerate build system..."
|
|
||||||
/usr/bin/cmake -H$(CMAKE_SOURCE_DIR) -B$(CMAKE_BINARY_DIR)
|
|
||||||
|
|
||||||
# Special rule for the target rebuild_cache
|
|
||||||
rebuild_cache/fast: rebuild_cache
|
|
||||||
|
|
||||||
#=============================================================================
|
|
||||||
# Special targets provided by cmake.
|
|
||||||
|
|
||||||
# Suppress display of executed commands.
|
|
||||||
$(VERBOSE).SILENT:
|
|
||||||
|
|
||||||
# Disable implicit rules so canoncical targets will work.
|
|
||||||
.SUFFIXES:
|
|
||||||
|
|
||||||
.SUFFIXES: .hpux_make_needs_suffix_list
|
|
||||||
|
|
||||||
# The main all target
|
|
||||||
all: cmake_check_build_system
|
|
||||||
$(CMAKE_COMMAND) -E cmake_progress_start /home/cas/svn/scyther/src/CMakeFiles $(CMAKE_ALL_PROGRESS)
|
|
||||||
$(MAKE) -f CMakeFiles/Makefile2 all
|
|
||||||
$(CMAKE_COMMAND) -E cmake_progress_start /home/cas/svn/scyther/src/CMakeFiles 0
|
|
||||||
|
|
||||||
# The main clean target
|
|
||||||
clean:
|
|
||||||
$(MAKE) -f CMakeFiles/Makefile2 clean
|
|
||||||
|
|
||||||
# The main clean target
|
|
||||||
clean/fast: clean
|
|
||||||
|
|
||||||
# Prepare targets for installation.
|
|
||||||
preinstall: all
|
|
||||||
$(MAKE) -f CMakeFiles/Makefile2 preinstall
|
|
||||||
|
|
||||||
# Prepare targets for installation.
|
|
||||||
preinstall/fast:
|
|
||||||
$(MAKE) -f CMakeFiles/Makefile2 preinstall
|
|
||||||
|
|
||||||
# clear depends
|
|
||||||
depend:
|
|
||||||
$(CMAKE_COMMAND) -H$(CMAKE_SOURCE_DIR) -B$(CMAKE_BINARY_DIR) --check-build-system CMakeFiles/Makefile.cmake 1
|
|
||||||
|
|
||||||
#=============================================================================
|
|
||||||
# Target rules for targets named ScytherParser
|
|
||||||
|
|
||||||
# Build rule for target.
|
|
||||||
ScytherParser: cmake_check_build_system
|
|
||||||
$(MAKE) -f CMakeFiles/Makefile2 ScytherParser
|
|
||||||
|
|
||||||
# fast build rule for target.
|
|
||||||
ScytherParser/fast:
|
|
||||||
$(MAKE) -f CMakeFiles/ScytherParser.dir/build.make CMakeFiles/ScytherParser.dir/build
|
|
||||||
|
|
||||||
#=============================================================================
|
|
||||||
# Target rules for targets named scyther-cmake
|
|
||||||
|
|
||||||
# Build rule for target.
|
|
||||||
scyther-cmake: cmake_check_build_system
|
|
||||||
$(MAKE) -f CMakeFiles/Makefile2 scyther-cmake
|
|
||||||
|
|
||||||
# fast build rule for target.
|
|
||||||
scyther-cmake/fast:
|
|
||||||
$(MAKE) -f CMakeFiles/scyther-cmake.dir/build.make CMakeFiles/scyther-cmake.dir/build
|
|
||||||
|
|
||||||
# target for object file
|
|
||||||
arachne.o:
|
|
||||||
$(MAKE) -f CMakeFiles/scyther-cmake.dir/build.make CMakeFiles/scyther-cmake.dir/arachne.o
|
|
||||||
|
|
||||||
# target for object file
|
|
||||||
binding.o:
|
|
||||||
$(MAKE) -f CMakeFiles/scyther-cmake.dir/build.make CMakeFiles/scyther-cmake.dir/binding.o
|
|
||||||
|
|
||||||
# target for object file
|
|
||||||
claim.o:
|
|
||||||
$(MAKE) -f CMakeFiles/scyther-cmake.dir/build.make CMakeFiles/scyther-cmake.dir/claim.o
|
|
||||||
|
|
||||||
# target for object file
|
|
||||||
color.o:
|
|
||||||
$(MAKE) -f CMakeFiles/scyther-cmake.dir/build.make CMakeFiles/scyther-cmake.dir/color.o
|
|
||||||
|
|
||||||
# target for object file
|
|
||||||
compiler.o:
|
|
||||||
$(MAKE) -f CMakeFiles/scyther-cmake.dir/build.make CMakeFiles/scyther-cmake.dir/compiler.o
|
|
||||||
|
|
||||||
# target for object file
|
|
||||||
cost.o:
|
|
||||||
$(MAKE) -f CMakeFiles/scyther-cmake.dir/build.make CMakeFiles/scyther-cmake.dir/cost.o
|
|
||||||
|
|
||||||
# target for object file
|
|
||||||
debug.o:
|
|
||||||
$(MAKE) -f CMakeFiles/scyther-cmake.dir/build.make CMakeFiles/scyther-cmake.dir/debug.o
|
|
||||||
|
|
||||||
# target for object file
|
|
||||||
depend.o:
|
|
||||||
$(MAKE) -f CMakeFiles/scyther-cmake.dir/build.make CMakeFiles/scyther-cmake.dir/depend.o
|
|
||||||
|
|
||||||
# target for object file
|
|
||||||
dotout.o:
|
|
||||||
$(MAKE) -f CMakeFiles/scyther-cmake.dir/build.make CMakeFiles/scyther-cmake.dir/dotout.o
|
|
||||||
|
|
||||||
# target for object file
|
|
||||||
error.o:
|
|
||||||
$(MAKE) -f CMakeFiles/scyther-cmake.dir/build.make CMakeFiles/scyther-cmake.dir/error.o
|
|
||||||
|
|
||||||
# target for object file
|
|
||||||
heuristic.o:
|
|
||||||
$(MAKE) -f CMakeFiles/scyther-cmake.dir/build.make CMakeFiles/scyther-cmake.dir/heuristic.o
|
|
||||||
|
|
||||||
# target for object file
|
|
||||||
hidelevel.o:
|
|
||||||
$(MAKE) -f CMakeFiles/scyther-cmake.dir/build.make CMakeFiles/scyther-cmake.dir/hidelevel.o
|
|
||||||
|
|
||||||
# target for object file
|
|
||||||
intruderknowledge.o:
|
|
||||||
$(MAKE) -f CMakeFiles/scyther-cmake.dir/build.make CMakeFiles/scyther-cmake.dir/intruderknowledge.o
|
|
||||||
|
|
||||||
# target for object file
|
|
||||||
knowledge.o:
|
|
||||||
$(MAKE) -f CMakeFiles/scyther-cmake.dir/build.make CMakeFiles/scyther-cmake.dir/knowledge.o
|
|
||||||
|
|
||||||
# target for object file
|
|
||||||
label.o:
|
|
||||||
$(MAKE) -f CMakeFiles/scyther-cmake.dir/build.make CMakeFiles/scyther-cmake.dir/label.o
|
|
||||||
|
|
||||||
# target for object file
|
|
||||||
list.o:
|
|
||||||
$(MAKE) -f CMakeFiles/scyther-cmake.dir/build.make CMakeFiles/scyther-cmake.dir/list.o
|
|
||||||
|
|
||||||
# target for object file
|
|
||||||
main.o:
|
|
||||||
$(MAKE) -f CMakeFiles/scyther-cmake.dir/build.make CMakeFiles/scyther-cmake.dir/main.o
|
|
||||||
|
|
||||||
# target for object file
|
|
||||||
mgu.o:
|
|
||||||
$(MAKE) -f CMakeFiles/scyther-cmake.dir/build.make CMakeFiles/scyther-cmake.dir/mgu.o
|
|
||||||
|
|
||||||
# target for object file
|
|
||||||
prune_bounds.o:
|
|
||||||
$(MAKE) -f CMakeFiles/scyther-cmake.dir/build.make CMakeFiles/scyther-cmake.dir/prune_bounds.o
|
|
||||||
|
|
||||||
# target for object file
|
|
||||||
prune_theorems.o:
|
|
||||||
$(MAKE) -f CMakeFiles/scyther-cmake.dir/build.make CMakeFiles/scyther-cmake.dir/prune_theorems.o
|
|
||||||
|
|
||||||
# target for object file
|
|
||||||
role.o:
|
|
||||||
$(MAKE) -f CMakeFiles/scyther-cmake.dir/build.make CMakeFiles/scyther-cmake.dir/role.o
|
|
||||||
|
|
||||||
# target for object file
|
|
||||||
specialterm.o:
|
|
||||||
$(MAKE) -f CMakeFiles/scyther-cmake.dir/build.make CMakeFiles/scyther-cmake.dir/specialterm.o
|
|
||||||
|
|
||||||
# target for object file
|
|
||||||
states.o:
|
|
||||||
$(MAKE) -f CMakeFiles/scyther-cmake.dir/build.make CMakeFiles/scyther-cmake.dir/states.o
|
|
||||||
|
|
||||||
# target for object file
|
|
||||||
switches.o:
|
|
||||||
$(MAKE) -f CMakeFiles/scyther-cmake.dir/build.make CMakeFiles/scyther-cmake.dir/switches.o
|
|
||||||
|
|
||||||
# target for object file
|
|
||||||
symbol.o:
|
|
||||||
$(MAKE) -f CMakeFiles/scyther-cmake.dir/build.make CMakeFiles/scyther-cmake.dir/symbol.o
|
|
||||||
|
|
||||||
# target for object file
|
|
||||||
system.o:
|
|
||||||
$(MAKE) -f CMakeFiles/scyther-cmake.dir/build.make CMakeFiles/scyther-cmake.dir/system.o
|
|
||||||
|
|
||||||
# target for object file
|
|
||||||
tac.o:
|
|
||||||
$(MAKE) -f CMakeFiles/scyther-cmake.dir/build.make CMakeFiles/scyther-cmake.dir/tac.o
|
|
||||||
|
|
||||||
# target for object file
|
|
||||||
term.o:
|
|
||||||
$(MAKE) -f CMakeFiles/scyther-cmake.dir/build.make CMakeFiles/scyther-cmake.dir/term.o
|
|
||||||
|
|
||||||
# target for object file
|
|
||||||
termlist.o:
|
|
||||||
$(MAKE) -f CMakeFiles/scyther-cmake.dir/build.make CMakeFiles/scyther-cmake.dir/termlist.o
|
|
||||||
|
|
||||||
# target for object file
|
|
||||||
termmap.o:
|
|
||||||
$(MAKE) -f CMakeFiles/scyther-cmake.dir/build.make CMakeFiles/scyther-cmake.dir/termmap.o
|
|
||||||
|
|
||||||
# target for object file
|
|
||||||
timer.o:
|
|
||||||
$(MAKE) -f CMakeFiles/scyther-cmake.dir/build.make CMakeFiles/scyther-cmake.dir/timer.o
|
|
||||||
|
|
||||||
# target for object file
|
|
||||||
type.o:
|
|
||||||
$(MAKE) -f CMakeFiles/scyther-cmake.dir/build.make CMakeFiles/scyther-cmake.dir/type.o
|
|
||||||
|
|
||||||
# target for object file
|
|
||||||
warshall.o:
|
|
||||||
$(MAKE) -f CMakeFiles/scyther-cmake.dir/build.make CMakeFiles/scyther-cmake.dir/warshall.o
|
|
||||||
|
|
||||||
# target for object file
|
|
||||||
xmlout.o:
|
|
||||||
$(MAKE) -f CMakeFiles/scyther-cmake.dir/build.make CMakeFiles/scyther-cmake.dir/xmlout.o
|
|
||||||
|
|
||||||
# Help Target
|
|
||||||
help::
|
|
||||||
@echo "The following are some of the valid targets for this Makefile:"
|
|
||||||
@echo "... all (the default if no target is provided)"
|
|
||||||
@echo "... clean"
|
|
||||||
@echo "... depend"
|
|
||||||
@echo "... ScytherParser"
|
|
||||||
@echo "... edit_cache"
|
|
||||||
@echo "... install"
|
|
||||||
@echo "... rebuild_cache"
|
|
||||||
@echo "... scyther-cmake"
|
|
||||||
@echo "... arachne.o"
|
|
||||||
@echo "... binding.o"
|
|
||||||
@echo "... claim.o"
|
|
||||||
@echo "... color.o"
|
|
||||||
@echo "... compiler.o"
|
|
||||||
@echo "... cost.o"
|
|
||||||
@echo "... debug.o"
|
|
||||||
@echo "... depend.o"
|
|
||||||
@echo "... dotout.o"
|
|
||||||
@echo "... error.o"
|
|
||||||
@echo "... heuristic.o"
|
|
||||||
@echo "... hidelevel.o"
|
|
||||||
@echo "... intruderknowledge.o"
|
|
||||||
@echo "... knowledge.o"
|
|
||||||
@echo "... label.o"
|
|
||||||
@echo "... list.o"
|
|
||||||
@echo "... main.o"
|
|
||||||
@echo "... mgu.o"
|
|
||||||
@echo "... prune_bounds.o"
|
|
||||||
@echo "... prune_theorems.o"
|
|
||||||
@echo "... role.o"
|
|
||||||
@echo "... specialterm.o"
|
|
||||||
@echo "... states.o"
|
|
||||||
@echo "... switches.o"
|
|
||||||
@echo "... symbol.o"
|
|
||||||
@echo "... system.o"
|
|
||||||
@echo "... tac.o"
|
|
||||||
@echo "... term.o"
|
|
||||||
@echo "... termlist.o"
|
|
||||||
@echo "... termmap.o"
|
|
||||||
@echo "... timer.o"
|
|
||||||
@echo "... type.o"
|
|
||||||
@echo "... warshall.o"
|
|
||||||
@echo "... xmlout.o"
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
#=============================================================================
|
|
||||||
# Special targets to cleanup operation of make.
|
|
||||||
|
|
||||||
# Special rule to run CMake to check the build system integrity.
|
|
||||||
# No rule that depends on this can have commands that come from listfiles
|
|
||||||
# because they might be regenerated.
|
|
||||||
cmake_check_build_system:
|
|
||||||
$(CMAKE_COMMAND) -H$(CMAKE_SOURCE_DIR) -B$(CMAKE_BINARY_DIR) --check-build-system CMakeFiles/Makefile.cmake 0
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user