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

# 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/bin/cmake

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

# Escaping for special characters.
EQUALS = =

# The top-level source directory on which CMake was run.
CMAKE_SOURCE_DIR = /home/ae/Desktop/artifact/carl

# The top-level build directory on which CMake was run.
CMAKE_BINARY_DIR = /home/ae/Desktop/artifact/carl/build

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

# 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
.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/bin/cmake -P cmake_install.cmake
.PHONY : install/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 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)
.PHONY : rebuild_cache

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

.PHONY : rebuild_cache/fast

# Special rule for the target edit_cache
edit_cache:
	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "No interactive CMake dialog available..."
	/usr/bin/cmake -E echo No\ interactive\ CMake\ dialog\ available.
.PHONY : edit_cache

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

.PHONY : edit_cache/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/bin/cmake -DCMAKE_INSTALL_DO_STRIP=1 -P cmake_install.cmake
.PHONY : install/strip

# Special rule for the target install/strip
install/strip/fast: preinstall/fast
	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "Installing the project stripped..."
	/usr/bin/cmake -DCMAKE_INSTALL_DO_STRIP=1 -P cmake_install.cmake
.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/bin/cmake -DCMAKE_INSTALL_LOCAL_ONLY=1 -P cmake_install.cmake
.PHONY : install/local

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

# Special rule for the target test
test:
	@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "Running tests..."
	/usr/bin/ctest --force-new-ctest-process $(ARGS)
.PHONY : test

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

.PHONY : test/fast

# The main all target
all: cmake_check_build_system
	$(CMAKE_COMMAND) -E cmake_progress_start /home/ae/Desktop/artifact/carl/build/CMakeFiles /home/ae/Desktop/artifact/carl/build/CMakeFiles/progress.marks
	$(MAKE) -f CMakeFiles/Makefile2 all
	$(CMAKE_COMMAND) -E cmake_progress_start /home/ae/Desktop/artifact/carl/build/CMakeFiles 0
.PHONY : all

# The main clean target
clean:
	$(MAKE) -f CMakeFiles/Makefile2 clean
.PHONY : clean

# The main clean target
clean/fast: clean

.PHONY : clean/fast

# Prepare targets for installation.
preinstall: all
	$(MAKE) -f CMakeFiles/Makefile2 preinstall
.PHONY : preinstall

# Prepare targets for installation.
preinstall/fast:
	$(MAKE) -f CMakeFiles/Makefile2 preinstall
.PHONY : preinstall/fast

# clear depends
depend:
	$(CMAKE_COMMAND) -H$(CMAKE_SOURCE_DIR) -B$(CMAKE_BINARY_DIR) --check-build-system CMakeFiles/Makefile.cmake 1
.PHONY : depend

#=============================================================================
# Target rules for targets named GTest-EP

# Build rule for target.
GTest-EP: cmake_check_build_system
	$(MAKE) -f CMakeFiles/Makefile2 GTest-EP
.PHONY : GTest-EP

# fast build rule for target.
GTest-EP/fast:
	$(MAKE) -f CMakeFiles/GTest-EP.dir/build.make CMakeFiles/GTest-EP.dir/build
.PHONY : GTest-EP/fast

#=============================================================================
# Target rules for targets named resources

# Build rule for target.
resources: cmake_check_build_system
	$(MAKE) -f CMakeFiles/Makefile2 resources
.PHONY : resources

# fast build rule for target.
resources/fast:
	$(MAKE) -f CMakeFiles/resources.dir/build.make CMakeFiles/resources.dir/build
.PHONY : resources/fast

#=============================================================================
# Target rules for targets named doxygen-build

# Build rule for target.
doxygen-build: cmake_check_build_system
	$(MAKE) -f CMakeFiles/Makefile2 doxygen-build
.PHONY : doxygen-build

# fast build rule for target.
doxygen-build/fast:
	$(MAKE) -f CMakeFiles/doxygen-build.dir/build.make CMakeFiles/doxygen-build.dir/build
.PHONY : doxygen-build/fast

#=============================================================================
# Target rules for targets named .travis.yml

# Build rule for target.
.travis.yml: cmake_check_build_system
	$(MAKE) -f CMakeFiles/Makefile2 .travis.yml
.PHONY : .travis.yml

# fast build rule for target.
.travis.yml/fast:
	$(MAKE) -f CMakeFiles/.travis.yml.dir/build.make CMakeFiles/.travis.yml.dir/build
.PHONY : .travis.yml/fast

#=============================================================================
# Target rules for targets named lib_carl

# Build rule for target.
lib_carl: cmake_check_build_system
	$(MAKE) -f CMakeFiles/Makefile2 lib_carl
.PHONY : lib_carl

# fast build rule for target.
lib_carl/fast:
	$(MAKE) -f src/carl/CMakeFiles/lib_carl.dir/build.make src/carl/CMakeFiles/lib_carl.dir/build
.PHONY : lib_carl/fast

#=============================================================================
# Target rules for targets named TestCommon

# Build rule for target.
TestCommon: cmake_check_build_system
	$(MAKE) -f CMakeFiles/Makefile2 TestCommon
.PHONY : TestCommon

# fast build rule for target.
TestCommon/fast:
	$(MAKE) -f src/tests/CMakeFiles/TestCommon.dir/build.make src/tests/CMakeFiles/TestCommon.dir/build
.PHONY : TestCommon/fast

#=============================================================================
# Target rules for targets named all-tests

# Build rule for target.
all-tests: cmake_check_build_system
	$(MAKE) -f CMakeFiles/Makefile2 all-tests
.PHONY : all-tests

# fast build rule for target.
all-tests/fast:
	$(MAKE) -f src/tests/CMakeFiles/all-tests.dir/build.make src/tests/CMakeFiles/all-tests.dir/build
.PHONY : all-tests/fast

#=============================================================================
# Target rules for targets named runUtilTests

# Build rule for target.
runUtilTests: cmake_check_build_system
	$(MAKE) -f CMakeFiles/Makefile2 runUtilTests
.PHONY : runUtilTests

# fast build rule for target.
runUtilTests/fast:
	$(MAKE) -f src/tests/util/CMakeFiles/runUtilTests.dir/build.make src/tests/util/CMakeFiles/runUtilTests.dir/build
.PHONY : runUtilTests/fast

#=============================================================================
# Target rules for targets named runNumbersTests

# Build rule for target.
runNumbersTests: cmake_check_build_system
	$(MAKE) -f CMakeFiles/Makefile2 runNumbersTests
.PHONY : runNumbersTests

# fast build rule for target.
runNumbersTests/fast:
	$(MAKE) -f src/tests/numbers/CMakeFiles/runNumbersTests.dir/build.make src/tests/numbers/CMakeFiles/runNumbersTests.dir/build
.PHONY : runNumbersTests/fast

#=============================================================================
# Target rules for targets named runCoreTests

# Build rule for target.
runCoreTests: cmake_check_build_system
	$(MAKE) -f CMakeFiles/Makefile2 runCoreTests
.PHONY : runCoreTests

# fast build rule for target.
runCoreTests/fast:
	$(MAKE) -f src/tests/core/CMakeFiles/runCoreTests.dir/build.make src/tests/core/CMakeFiles/runCoreTests.dir/build
.PHONY : runCoreTests/fast

#=============================================================================
# Target rules for targets named runFormulaTests

# Build rule for target.
runFormulaTests: cmake_check_build_system
	$(MAKE) -f CMakeFiles/Makefile2 runFormulaTests
.PHONY : runFormulaTests

# fast build rule for target.
runFormulaTests/fast:
	$(MAKE) -f src/tests/formula/CMakeFiles/runFormulaTests.dir/build.make src/tests/formula/CMakeFiles/runFormulaTests.dir/build
.PHONY : runFormulaTests/fast

#=============================================================================
# Target rules for targets named runCADTests

# Build rule for target.
runCADTests: cmake_check_build_system
	$(MAKE) -f CMakeFiles/Makefile2 runCADTests
.PHONY : runCADTests

# fast build rule for target.
runCADTests/fast:
	$(MAKE) -f src/tests/cad/CMakeFiles/runCADTests.dir/build.make src/tests/cad/CMakeFiles/runCADTests.dir/build
.PHONY : runCADTests/fast

#=============================================================================
# Target rules for targets named runGroebnerTests

# Build rule for target.
runGroebnerTests: cmake_check_build_system
	$(MAKE) -f CMakeFiles/Makefile2 runGroebnerTests
.PHONY : runGroebnerTests

# fast build rule for target.
runGroebnerTests/fast:
	$(MAKE) -f src/tests/groebner/CMakeFiles/runGroebnerTests.dir/build.make src/tests/groebner/CMakeFiles/runGroebnerTests.dir/build
.PHONY : runGroebnerTests/fast

#=============================================================================
# Target rules for targets named runIntervalTests

# Build rule for target.
runIntervalTests: cmake_check_build_system
	$(MAKE) -f CMakeFiles/Makefile2 runIntervalTests
.PHONY : runIntervalTests

# fast build rule for target.
runIntervalTests/fast:
	$(MAKE) -f src/tests/interval/CMakeFiles/runIntervalTests.dir/build.make src/tests/interval/CMakeFiles/runIntervalTests.dir/build
.PHONY : runIntervalTests/fast

#=============================================================================
# Target rules for targets named runBenchmarks

# Build rule for target.
runBenchmarks: cmake_check_build_system
	$(MAKE) -f CMakeFiles/Makefile2 runBenchmarks
.PHONY : runBenchmarks

# fast build rule for target.
runBenchmarks/fast:
	$(MAKE) -f src/tests/benchmarks/CMakeFiles/runBenchmarks.dir/build.make src/tests/benchmarks/CMakeFiles/runBenchmarks.dir/build
.PHONY : runBenchmarks/fast

#=============================================================================
# Target rules for targets named example-IntervalContractionExample

# Build rule for target.
example-IntervalContractionExample: cmake_check_build_system
	$(MAKE) -f CMakeFiles/Makefile2 example-IntervalContractionExample
.PHONY : example-IntervalContractionExample

# fast build rule for target.
example-IntervalContractionExample/fast:
	$(MAKE) -f src/examples/CMakeFiles/example-IntervalContractionExample.dir/build.make src/examples/CMakeFiles/example-IntervalContractionExample.dir/build
.PHONY : example-IntervalContractionExample/fast

#=============================================================================
# Target rules for targets named example-IntervalCoefficientExample

# Build rule for target.
example-IntervalCoefficientExample: cmake_check_build_system
	$(MAKE) -f CMakeFiles/Makefile2 example-IntervalCoefficientExample
.PHONY : example-IntervalCoefficientExample

# fast build rule for target.
example-IntervalCoefficientExample/fast:
	$(MAKE) -f src/examples/CMakeFiles/example-IntervalCoefficientExample.dir/build.make src/examples/CMakeFiles/example-IntervalCoefficientExample.dir/build
.PHONY : example-IntervalCoefficientExample/fast

#=============================================================================
# Target rules for targets named example-HornerTest

# Build rule for target.
example-HornerTest: cmake_check_build_system
	$(MAKE) -f CMakeFiles/Makefile2 example-HornerTest
.PHONY : example-HornerTest

# fast build rule for target.
example-HornerTest/fast:
	$(MAKE) -f src/examples/CMakeFiles/example-HornerTest.dir/build.make src/examples/CMakeFiles/example-HornerTest.dir/build
.PHONY : example-HornerTest/fast

#=============================================================================
# Target rules for targets named example-GroebnerExample

# Build rule for target.
example-GroebnerExample: cmake_check_build_system
	$(MAKE) -f CMakeFiles/Makefile2 example-GroebnerExample
.PHONY : example-GroebnerExample

# fast build rule for target.
example-GroebnerExample/fast:
	$(MAKE) -f src/examples/CMakeFiles/example-GroebnerExample.dir/build.make src/examples/CMakeFiles/example-GroebnerExample.dir/build
.PHONY : example-GroebnerExample/fast

#=============================================================================
# Target rules for targets named example-MpqIntervalExample

# Build rule for target.
example-MpqIntervalExample: cmake_check_build_system
	$(MAKE) -f CMakeFiles/Makefile2 example-MpqIntervalExample
.PHONY : example-MpqIntervalExample

# fast build rule for target.
example-MpqIntervalExample/fast:
	$(MAKE) -f src/examples/CMakeFiles/example-MpqIntervalExample.dir/build.make src/examples/CMakeFiles/example-MpqIntervalExample.dir/build
.PHONY : example-MpqIntervalExample/fast

#=============================================================================
# Target rules for targets named example-FloatExample

# Build rule for target.
example-FloatExample: cmake_check_build_system
	$(MAKE) -f CMakeFiles/Makefile2 example-FloatExample
.PHONY : example-FloatExample

# fast build rule for target.
example-FloatExample/fast:
	$(MAKE) -f src/examples/CMakeFiles/example-FloatExample.dir/build.make src/examples/CMakeFiles/example-FloatExample.dir/build
.PHONY : example-FloatExample/fast

#=============================================================================
# Target rules for targets named example-tutorial-MultivariatePolynomial_Create

# Build rule for target.
example-tutorial-MultivariatePolynomial_Create: cmake_check_build_system
	$(MAKE) -f CMakeFiles/Makefile2 example-tutorial-MultivariatePolynomial_Create
.PHONY : example-tutorial-MultivariatePolynomial_Create

# fast build rule for target.
example-tutorial-MultivariatePolynomial_Create/fast:
	$(MAKE) -f src/examples/CMakeFiles/example-tutorial-MultivariatePolynomial_Create.dir/build.make src/examples/CMakeFiles/example-tutorial-MultivariatePolynomial_Create.dir/build
.PHONY : example-tutorial-MultivariatePolynomial_Create/fast

#=============================================================================
# Target rules for targets named example-tutorial-Monomial_Create

# Build rule for target.
example-tutorial-Monomial_Create: cmake_check_build_system
	$(MAKE) -f CMakeFiles/Makefile2 example-tutorial-Monomial_Create
.PHONY : example-tutorial-Monomial_Create

# fast build rule for target.
example-tutorial-Monomial_Create/fast:
	$(MAKE) -f src/examples/CMakeFiles/example-tutorial-Monomial_Create.dir/build.make src/examples/CMakeFiles/example-tutorial-Monomial_Create.dir/build
.PHONY : example-tutorial-Monomial_Create/fast

#=============================================================================
# Target rules for targets named all-examples

# Build rule for target.
all-examples: cmake_check_build_system
	$(MAKE) -f CMakeFiles/Makefile2 all-examples
.PHONY : all-examples

# fast build rule for target.
all-examples/fast:
	$(MAKE) -f src/examples/CMakeFiles/all-examples.dir/build.make src/examples/CMakeFiles/all-examples.dir/build
.PHONY : all-examples/fast

#=============================================================================
# Target rules for targets named example-IntervalExample

# Build rule for target.
example-IntervalExample: cmake_check_build_system
	$(MAKE) -f CMakeFiles/Makefile2 example-IntervalExample
.PHONY : example-IntervalExample

# fast build rule for target.
example-IntervalExample/fast:
	$(MAKE) -f src/examples/CMakeFiles/example-IntervalExample.dir/build.make src/examples/CMakeFiles/example-IntervalExample.dir/build
.PHONY : example-IntervalExample/fast

#=============================================================================
# Target rules for targets named example-MpfrTest

# Build rule for target.
example-MpfrTest: cmake_check_build_system
	$(MAKE) -f CMakeFiles/Makefile2 example-MpfrTest
.PHONY : example-MpfrTest

# fast build rule for target.
example-MpfrTest/fast:
	$(MAKE) -f src/examples/CMakeFiles/example-MpfrTest.dir/build.make src/examples/CMakeFiles/example-MpfrTest.dir/build
.PHONY : example-MpfrTest/fast

#=============================================================================
# Target rules for targets named example-smt2example

# Build rule for target.
example-smt2example: cmake_check_build_system
	$(MAKE) -f CMakeFiles/Makefile2 example-smt2example
.PHONY : example-smt2example

# fast build rule for target.
example-smt2example/fast:
	$(MAKE) -f src/examples/CMakeFiles/example-smt2example.dir/build.make src/examples/CMakeFiles/example-smt2example.dir/build
.PHONY : example-smt2example/fast

#=============================================================================
# Target rules for targets named example-tutorial-Variable_Create

# Build rule for target.
example-tutorial-Variable_Create: cmake_check_build_system
	$(MAKE) -f CMakeFiles/Makefile2 example-tutorial-Variable_Create
.PHONY : example-tutorial-Variable_Create

# fast build rule for target.
example-tutorial-Variable_Create/fast:
	$(MAKE) -f src/examples/CMakeFiles/example-tutorial-Variable_Create.dir/build.make src/examples/CMakeFiles/example-tutorial-Variable_Create.dir/build
.PHONY : example-tutorial-Variable_Create/fast

# 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 "... install"
	@echo "... list_install_components"
	@echo "... rebuild_cache"
	@echo "... GTest-EP"
	@echo "... edit_cache"
	@echo "... install/strip"
	@echo "... resources"
	@echo "... doxygen-build"
	@echo "... .travis.yml"
	@echo "... install/local"
	@echo "... test"
	@echo "... lib_carl"
	@echo "... TestCommon"
	@echo "... all-tests"
	@echo "... runUtilTests"
	@echo "... runNumbersTests"
	@echo "... runCoreTests"
	@echo "... runFormulaTests"
	@echo "... runCADTests"
	@echo "... runGroebnerTests"
	@echo "... runIntervalTests"
	@echo "... runBenchmarks"
	@echo "... example-IntervalContractionExample"
	@echo "... example-IntervalCoefficientExample"
	@echo "... example-HornerTest"
	@echo "... example-GroebnerExample"
	@echo "... example-MpqIntervalExample"
	@echo "... example-FloatExample"
	@echo "... example-tutorial-MultivariatePolynomial_Create"
	@echo "... example-tutorial-Monomial_Create"
	@echo "... all-examples"
	@echo "... example-IntervalExample"
	@echo "... example-MpfrTest"
	@echo "... example-smt2example"
	@echo "... example-tutorial-Variable_Create"
.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:
	$(CMAKE_COMMAND) -H$(CMAKE_SOURCE_DIR) -B$(CMAKE_BINARY_DIR) --check-build-system CMakeFiles/Makefile.cmake 0
.PHONY : cmake_check_build_system

