# CMAKE generated file: DO NOT EDIT!
# Generated by "Unix Makefiles" Generator, CMake Version 3.4

# Default target executed when no arguments are given to make.
default_target: all

.PHONY : default_target

# Allow only one "make -f Makefile2" at a time, but pass parallelism.
.NOTPARALLEL:


#=============================================================================
# Special targets provided by cmake.

# Disable implicit rules so canonical targets will work.
.SUFFIXES:


# Remove some rules from gmake that .SUFFIXES does not remove.
SUFFIXES =

.SUFFIXES: .hpux_make_needs_suffix_list


# Suppress display of executed commands.
$(VERBOSE).SILENT:


# A target that is always out of date.
cmake_force:

.PHONY : cmake_force

#=============================================================================
# Set environment variables for the build.

# The shell in which to execute make rules.
SHELL = /bin/sh

# The CMake executable.
CMAKE_COMMAND = /usr/local/Cellar/cmake/3.4.0/bin/cmake

# The command to remove a file.
RM = /usr/local/Cellar/cmake/3.4.0/bin/cmake -E remove -f

# Escaping for special characters.
EQUALS = =

# The top-level source directory on which CMake was run.
CMAKE_SOURCE_DIR = /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/cprel4

# The top-level build directory on which CMake was run.
CMAKE_BINARY_DIR = /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4

#=============================================================================
# Targets provided globally by CMake.

# Special rule for the target edit_cache
edit_cache:
	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "Running CMake cache editor..."
	/usr/local/Cellar/cmake/3.4.0/bin/ccmake -H$(CMAKE_SOURCE_DIR) -B$(CMAKE_BINARY_DIR)
.PHONY : edit_cache

# Special rule for the target edit_cache
edit_cache/fast: edit_cache

.PHONY : edit_cache/fast

# 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/local/Cellar/cmake/3.4.0/bin/cmake -H$(CMAKE_SOURCE_DIR) -B$(CMAKE_BINARY_DIR)
.PHONY : rebuild_cache

# Special rule for the target rebuild_cache
rebuild_cache/fast: rebuild_cache

.PHONY : rebuild_cache/fast

# Special rule for the target list_install_components
list_install_components:
	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "Available install components are: \"Unspecified\""
.PHONY : list_install_components

# Special rule for the target list_install_components
list_install_components/fast: list_install_components

.PHONY : list_install_components/fast

# Special rule for the target install
install: preinstall
	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "Install the project..."
	/usr/local/Cellar/cmake/3.4.0/bin/cmake -P cmake_install.cmake
.PHONY : install

# Special rule for the target install
install/fast: preinstall/fast
	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "Install the project..."
	/usr/local/Cellar/cmake/3.4.0/bin/cmake -P cmake_install.cmake
.PHONY : install/fast

# Special rule for the target install/strip
install/strip: preinstall
	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "Installing the project stripped..."
	/usr/local/Cellar/cmake/3.4.0/bin/cmake -DCMAKE_INSTALL_DO_STRIP=1 -P cmake_install.cmake
.PHONY : install/strip

# Special rule for the target install/strip
install/strip/fast: install/strip

.PHONY : install/strip/fast

# Special rule for the target install/local
install/local: preinstall
	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "Installing only the local directory..."
	/usr/local/Cellar/cmake/3.4.0/bin/cmake -DCMAKE_INSTALL_LOCAL_ONLY=1 -P cmake_install.cmake
.PHONY : install/local

# Special rule for the target install/local
install/local/fast: install/local

.PHONY : install/local/fast

# The main all target
all: cmake_check_build_system
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(CMAKE_COMMAND) -E cmake_progress_start /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4/CMakeFiles /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4/cudd-abstraction/cudd/util/CMakeFiles/progress.marks
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f CMakeFiles/Makefile2 cudd-abstraction/cudd/util/all
	$(CMAKE_COMMAND) -E cmake_progress_start /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4/CMakeFiles 0
.PHONY : all

# The main clean target
clean:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f CMakeFiles/Makefile2 cudd-abstraction/cudd/util/clean
.PHONY : clean

# The main clean target
clean/fast: clean

.PHONY : clean/fast

# Prepare targets for installation.
preinstall: all
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f CMakeFiles/Makefile2 cudd-abstraction/cudd/util/preinstall
.PHONY : preinstall

# Prepare targets for installation.
preinstall/fast:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f CMakeFiles/Makefile2 cudd-abstraction/cudd/util/preinstall
.PHONY : preinstall/fast

# clear depends
depend:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(CMAKE_COMMAND) -H$(CMAKE_SOURCE_DIR) -B$(CMAKE_BINARY_DIR) --check-build-system CMakeFiles/Makefile.cmake 1
.PHONY : depend

# Convenience name for target.
cudd-abstraction/cudd/util/CMakeFiles/util.dir/rule:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f CMakeFiles/Makefile2 cudd-abstraction/cudd/util/CMakeFiles/util.dir/rule
.PHONY : cudd-abstraction/cudd/util/CMakeFiles/util.dir/rule

# Convenience name for target.
util: cudd-abstraction/cudd/util/CMakeFiles/util.dir/rule

.PHONY : util

# fast build rule for target.
util/fast:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f cudd-abstraction/cudd/util/CMakeFiles/util.dir/build.make cudd-abstraction/cudd/util/CMakeFiles/util.dir/build
.PHONY : util/fast

cpu_stats.o: cpu_stats.c.o

.PHONY : cpu_stats.o

# target to build an object file
cpu_stats.c.o:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f cudd-abstraction/cudd/util/CMakeFiles/util.dir/build.make cudd-abstraction/cudd/util/CMakeFiles/util.dir/cpu_stats.c.o
.PHONY : cpu_stats.c.o

cpu_stats.i: cpu_stats.c.i

.PHONY : cpu_stats.i

# target to preprocess a source file
cpu_stats.c.i:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f cudd-abstraction/cudd/util/CMakeFiles/util.dir/build.make cudd-abstraction/cudd/util/CMakeFiles/util.dir/cpu_stats.c.i
.PHONY : cpu_stats.c.i

cpu_stats.s: cpu_stats.c.s

.PHONY : cpu_stats.s

# target to generate assembly for a file
cpu_stats.c.s:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f cudd-abstraction/cudd/util/CMakeFiles/util.dir/build.make cudd-abstraction/cudd/util/CMakeFiles/util.dir/cpu_stats.c.s
.PHONY : cpu_stats.c.s

cpu_time.o: cpu_time.c.o

.PHONY : cpu_time.o

# target to build an object file
cpu_time.c.o:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f cudd-abstraction/cudd/util/CMakeFiles/util.dir/build.make cudd-abstraction/cudd/util/CMakeFiles/util.dir/cpu_time.c.o
.PHONY : cpu_time.c.o

cpu_time.i: cpu_time.c.i

.PHONY : cpu_time.i

# target to preprocess a source file
cpu_time.c.i:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f cudd-abstraction/cudd/util/CMakeFiles/util.dir/build.make cudd-abstraction/cudd/util/CMakeFiles/util.dir/cpu_time.c.i
.PHONY : cpu_time.c.i

cpu_time.s: cpu_time.c.s

.PHONY : cpu_time.s

# target to generate assembly for a file
cpu_time.c.s:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f cudd-abstraction/cudd/util/CMakeFiles/util.dir/build.make cudd-abstraction/cudd/util/CMakeFiles/util.dir/cpu_time.c.s
.PHONY : cpu_time.c.s

datalimit.o: datalimit.c.o

.PHONY : datalimit.o

# target to build an object file
datalimit.c.o:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f cudd-abstraction/cudd/util/CMakeFiles/util.dir/build.make cudd-abstraction/cudd/util/CMakeFiles/util.dir/datalimit.c.o
.PHONY : datalimit.c.o

datalimit.i: datalimit.c.i

.PHONY : datalimit.i

# target to preprocess a source file
datalimit.c.i:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f cudd-abstraction/cudd/util/CMakeFiles/util.dir/build.make cudd-abstraction/cudd/util/CMakeFiles/util.dir/datalimit.c.i
.PHONY : datalimit.c.i

datalimit.s: datalimit.c.s

.PHONY : datalimit.s

# target to generate assembly for a file
datalimit.c.s:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f cudd-abstraction/cudd/util/CMakeFiles/util.dir/build.make cudd-abstraction/cudd/util/CMakeFiles/util.dir/datalimit.c.s
.PHONY : datalimit.c.s

pathsearch.o: pathsearch.c.o

.PHONY : pathsearch.o

# target to build an object file
pathsearch.c.o:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f cudd-abstraction/cudd/util/CMakeFiles/util.dir/build.make cudd-abstraction/cudd/util/CMakeFiles/util.dir/pathsearch.c.o
.PHONY : pathsearch.c.o

pathsearch.i: pathsearch.c.i

.PHONY : pathsearch.i

# target to preprocess a source file
pathsearch.c.i:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f cudd-abstraction/cudd/util/CMakeFiles/util.dir/build.make cudd-abstraction/cudd/util/CMakeFiles/util.dir/pathsearch.c.i
.PHONY : pathsearch.c.i

pathsearch.s: pathsearch.c.s

.PHONY : pathsearch.s

# target to generate assembly for a file
pathsearch.c.s:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f cudd-abstraction/cudd/util/CMakeFiles/util.dir/build.make cudd-abstraction/cudd/util/CMakeFiles/util.dir/pathsearch.c.s
.PHONY : pathsearch.c.s

pipefork.o: pipefork.c.o

.PHONY : pipefork.o

# target to build an object file
pipefork.c.o:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f cudd-abstraction/cudd/util/CMakeFiles/util.dir/build.make cudd-abstraction/cudd/util/CMakeFiles/util.dir/pipefork.c.o
.PHONY : pipefork.c.o

pipefork.i: pipefork.c.i

.PHONY : pipefork.i

# target to preprocess a source file
pipefork.c.i:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f cudd-abstraction/cudd/util/CMakeFiles/util.dir/build.make cudd-abstraction/cudd/util/CMakeFiles/util.dir/pipefork.c.i
.PHONY : pipefork.c.i

pipefork.s: pipefork.c.s

.PHONY : pipefork.s

# target to generate assembly for a file
pipefork.c.s:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f cudd-abstraction/cudd/util/CMakeFiles/util.dir/build.make cudd-abstraction/cudd/util/CMakeFiles/util.dir/pipefork.c.s
.PHONY : pipefork.c.s

prtime.o: prtime.c.o

.PHONY : prtime.o

# target to build an object file
prtime.c.o:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f cudd-abstraction/cudd/util/CMakeFiles/util.dir/build.make cudd-abstraction/cudd/util/CMakeFiles/util.dir/prtime.c.o
.PHONY : prtime.c.o

prtime.i: prtime.c.i

.PHONY : prtime.i

# target to preprocess a source file
prtime.c.i:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f cudd-abstraction/cudd/util/CMakeFiles/util.dir/build.make cudd-abstraction/cudd/util/CMakeFiles/util.dir/prtime.c.i
.PHONY : prtime.c.i

prtime.s: prtime.c.s

.PHONY : prtime.s

# target to generate assembly for a file
prtime.c.s:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f cudd-abstraction/cudd/util/CMakeFiles/util.dir/build.make cudd-abstraction/cudd/util/CMakeFiles/util.dir/prtime.c.s
.PHONY : prtime.c.s

ptime.o: ptime.c.o

.PHONY : ptime.o

# target to build an object file
ptime.c.o:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f cudd-abstraction/cudd/util/CMakeFiles/util.dir/build.make cudd-abstraction/cudd/util/CMakeFiles/util.dir/ptime.c.o
.PHONY : ptime.c.o

ptime.i: ptime.c.i

.PHONY : ptime.i

# target to preprocess a source file
ptime.c.i:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f cudd-abstraction/cudd/util/CMakeFiles/util.dir/build.make cudd-abstraction/cudd/util/CMakeFiles/util.dir/ptime.c.i
.PHONY : ptime.c.i

ptime.s: ptime.c.s

.PHONY : ptime.s

# target to generate assembly for a file
ptime.c.s:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f cudd-abstraction/cudd/util/CMakeFiles/util.dir/build.make cudd-abstraction/cudd/util/CMakeFiles/util.dir/ptime.c.s
.PHONY : ptime.c.s

safe_mem.o: safe_mem.c.o

.PHONY : safe_mem.o

# target to build an object file
safe_mem.c.o:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f cudd-abstraction/cudd/util/CMakeFiles/util.dir/build.make cudd-abstraction/cudd/util/CMakeFiles/util.dir/safe_mem.c.o
.PHONY : safe_mem.c.o

safe_mem.i: safe_mem.c.i

.PHONY : safe_mem.i

# target to preprocess a source file
safe_mem.c.i:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f cudd-abstraction/cudd/util/CMakeFiles/util.dir/build.make cudd-abstraction/cudd/util/CMakeFiles/util.dir/safe_mem.c.i
.PHONY : safe_mem.c.i

safe_mem.s: safe_mem.c.s

.PHONY : safe_mem.s

# target to generate assembly for a file
safe_mem.c.s:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f cudd-abstraction/cudd/util/CMakeFiles/util.dir/build.make cudd-abstraction/cudd/util/CMakeFiles/util.dir/safe_mem.c.s
.PHONY : safe_mem.c.s

strsav.o: strsav.c.o

.PHONY : strsav.o

# target to build an object file
strsav.c.o:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f cudd-abstraction/cudd/util/CMakeFiles/util.dir/build.make cudd-abstraction/cudd/util/CMakeFiles/util.dir/strsav.c.o
.PHONY : strsav.c.o

strsav.i: strsav.c.i

.PHONY : strsav.i

# target to preprocess a source file
strsav.c.i:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f cudd-abstraction/cudd/util/CMakeFiles/util.dir/build.make cudd-abstraction/cudd/util/CMakeFiles/util.dir/strsav.c.i
.PHONY : strsav.c.i

strsav.s: strsav.c.s

.PHONY : strsav.s

# target to generate assembly for a file
strsav.c.s:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f cudd-abstraction/cudd/util/CMakeFiles/util.dir/build.make cudd-abstraction/cudd/util/CMakeFiles/util.dir/strsav.c.s
.PHONY : strsav.c.s

stub.o: stub.c.o

.PHONY : stub.o

# target to build an object file
stub.c.o:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f cudd-abstraction/cudd/util/CMakeFiles/util.dir/build.make cudd-abstraction/cudd/util/CMakeFiles/util.dir/stub.c.o
.PHONY : stub.c.o

stub.i: stub.c.i

.PHONY : stub.i

# target to preprocess a source file
stub.c.i:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f cudd-abstraction/cudd/util/CMakeFiles/util.dir/build.make cudd-abstraction/cudd/util/CMakeFiles/util.dir/stub.c.i
.PHONY : stub.c.i

stub.s: stub.c.s

.PHONY : stub.s

# target to generate assembly for a file
stub.c.s:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f cudd-abstraction/cudd/util/CMakeFiles/util.dir/build.make cudd-abstraction/cudd/util/CMakeFiles/util.dir/stub.c.s
.PHONY : stub.c.s

texpand.o: texpand.c.o

.PHONY : texpand.o

# target to build an object file
texpand.c.o:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f cudd-abstraction/cudd/util/CMakeFiles/util.dir/build.make cudd-abstraction/cudd/util/CMakeFiles/util.dir/texpand.c.o
.PHONY : texpand.c.o

texpand.i: texpand.c.i

.PHONY : texpand.i

# target to preprocess a source file
texpand.c.i:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f cudd-abstraction/cudd/util/CMakeFiles/util.dir/build.make cudd-abstraction/cudd/util/CMakeFiles/util.dir/texpand.c.i
.PHONY : texpand.c.i

texpand.s: texpand.c.s

.PHONY : texpand.s

# target to generate assembly for a file
texpand.c.s:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(MAKE) -f cudd-abstraction/cudd/util/CMakeFiles/util.dir/build.make cudd-abstraction/cudd/util/CMakeFiles/util.dir/texpand.c.s
.PHONY : texpand.c.s

# 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 "... edit_cache"
	@echo "... rebuild_cache"
	@echo "... list_install_components"
	@echo "... install"
	@echo "... install/strip"
	@echo "... install/local"
	@echo "... util"
	@echo "... cpu_stats.o"
	@echo "... cpu_stats.i"
	@echo "... cpu_stats.s"
	@echo "... cpu_time.o"
	@echo "... cpu_time.i"
	@echo "... cpu_time.s"
	@echo "... datalimit.o"
	@echo "... datalimit.i"
	@echo "... datalimit.s"
	@echo "... pathsearch.o"
	@echo "... pathsearch.i"
	@echo "... pathsearch.s"
	@echo "... pipefork.o"
	@echo "... pipefork.i"
	@echo "... pipefork.s"
	@echo "... prtime.o"
	@echo "... prtime.i"
	@echo "... prtime.s"
	@echo "... ptime.o"
	@echo "... ptime.i"
	@echo "... ptime.s"
	@echo "... safe_mem.o"
	@echo "... safe_mem.i"
	@echo "... safe_mem.s"
	@echo "... strsav.o"
	@echo "... strsav.i"
	@echo "... strsav.s"
	@echo "... stub.o"
	@echo "... stub.i"
	@echo "... stub.s"
	@echo "... texpand.o"
	@echo "... texpand.i"
	@echo "... texpand.s"
.PHONY : help



#=============================================================================
# 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:
	cd /Users/geoffroyzoetardt/Documents/UCL/Mémoire/Références/RelVar/build-cprel4 && $(CMAKE_COMMAND) -H$(CMAKE_SOURCE_DIR) -B$(CMAKE_BINARY_DIR) --check-build-system CMakeFiles/Makefile.cmake 0
.PHONY : cmake_check_build_system

