Commits

Zachary Anderson  committed 4c5cf6c

Updating tests. Added librt to final link. Removed generated Makefiles

  • Participants
  • Parent commits 417e627

Comments (0)

Files changed (11)

File ciltut-lib/Makefile

-# CMAKE generated file: DO NOT EDIT!
-# Generated by "Unix Makefiles" Generator, CMake Version 2.8
-
-# Default target executed when no arguments are given to make.
-default_target: all
-.PHONY : default_target
-
-#=============================================================================
-# Special targets provided by cmake.
-
-# Disable implicit rules so canoncical 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
-
-# The program to use to edit the cache.
-CMAKE_EDIT_COMMAND = /usr/bin/cmake-gui
-
-# The top-level source directory on which CMake was run.
-CMAKE_SOURCE_DIR = /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib
-
-# The top-level build directory on which CMake was run.
-CMAKE_BINARY_DIR = /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib
-
-#=============================================================================
-# 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/bin/cmake-gui -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 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 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: install/local
-.PHONY : install/local/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: install/strip
-.PHONY : install/strip/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
-
-# The main all target
-all: cmake_check_build_system
-	$(CMAKE_COMMAND) -E cmake_progress_start /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib/CMakeFiles /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib/CMakeFiles/progress.marks
-	$(MAKE) -f CMakeFiles/Makefile2 all
-	$(CMAKE_COMMAND) -E cmake_progress_start /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib/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 ciltut-shared
-
-# Build rule for target.
-ciltut-shared: cmake_check_build_system
-	$(MAKE) -f CMakeFiles/Makefile2 ciltut-shared
-.PHONY : ciltut-shared
-
-# fast build rule for target.
-ciltut-shared/fast:
-	$(MAKE) -f src/CMakeFiles/ciltut-shared.dir/build.make src/CMakeFiles/ciltut-shared.dir/build
-.PHONY : ciltut-shared/fast
-
-#=============================================================================
-# Target rules for targets named ciltut-static
-
-# Build rule for target.
-ciltut-static: cmake_check_build_system
-	$(MAKE) -f CMakeFiles/Makefile2 ciltut-static
-.PHONY : ciltut-static
-
-# fast build rule for target.
-ciltut-static/fast:
-	$(MAKE) -f src/CMakeFiles/ciltut-static.dir/build.make src/CMakeFiles/ciltut-static.dir/build
-.PHONY : ciltut-static/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 "... edit_cache"
-	@echo "... install"
-	@echo "... install/local"
-	@echo "... install/strip"
-	@echo "... list_install_components"
-	@echo "... rebuild_cache"
-	@echo "... ciltut-shared"
-	@echo "... ciltut-static"
-.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
-

File ciltut-lib/src/Makefile

-# CMAKE generated file: DO NOT EDIT!
-# Generated by "Unix Makefiles" Generator, CMake Version 2.8
-
-# Default target executed when no arguments are given to make.
-default_target: all
-.PHONY : default_target
-
-#=============================================================================
-# Special targets provided by cmake.
-
-# Disable implicit rules so canoncical 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
-
-# The program to use to edit the cache.
-CMAKE_EDIT_COMMAND = /usr/bin/cmake-gui
-
-# The top-level source directory on which CMake was run.
-CMAKE_SOURCE_DIR = /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib
-
-# The top-level build directory on which CMake was run.
-CMAKE_BINARY_DIR = /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib
-
-#=============================================================================
-# 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/bin/cmake-gui -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 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 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: install/local
-.PHONY : install/local/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: install/strip
-.PHONY : install/strip/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
-
-# The main all target
-all: cmake_check_build_system
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(CMAKE_COMMAND) -E cmake_progress_start /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib/CMakeFiles /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib/src/CMakeFiles/progress.marks
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f CMakeFiles/Makefile2 src/all
-	$(CMAKE_COMMAND) -E cmake_progress_start /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib/CMakeFiles 0
-.PHONY : all
-
-# The main clean target
-clean:
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f CMakeFiles/Makefile2 src/clean
-.PHONY : clean
-
-# The main clean target
-clean/fast: clean
-.PHONY : clean/fast
-
-# Prepare targets for installation.
-preinstall: all
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f CMakeFiles/Makefile2 src/preinstall
-.PHONY : preinstall
-
-# Prepare targets for installation.
-preinstall/fast:
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f CMakeFiles/Makefile2 src/preinstall
-.PHONY : preinstall/fast
-
-# clear depends
-depend:
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(CMAKE_COMMAND) -H$(CMAKE_SOURCE_DIR) -B$(CMAKE_BINARY_DIR) --check-build-system CMakeFiles/Makefile.cmake 1
-.PHONY : depend
-
-# Convenience name for target.
-src/CMakeFiles/ciltut-shared.dir/rule:
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f CMakeFiles/Makefile2 src/CMakeFiles/ciltut-shared.dir/rule
-.PHONY : src/CMakeFiles/ciltut-shared.dir/rule
-
-# Convenience name for target.
-ciltut-shared: src/CMakeFiles/ciltut-shared.dir/rule
-.PHONY : ciltut-shared
-
-# fast build rule for target.
-ciltut-shared/fast:
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f src/CMakeFiles/ciltut-shared.dir/build.make src/CMakeFiles/ciltut-shared.dir/build
-.PHONY : ciltut-shared/fast
-
-# Convenience name for target.
-src/CMakeFiles/ciltut-static.dir/rule:
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f CMakeFiles/Makefile2 src/CMakeFiles/ciltut-static.dir/rule
-.PHONY : src/CMakeFiles/ciltut-static.dir/rule
-
-# Convenience name for target.
-ciltut-static: src/CMakeFiles/ciltut-static.dir/rule
-.PHONY : ciltut-static
-
-# fast build rule for target.
-ciltut-static/fast:
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f src/CMakeFiles/ciltut-static.dir/build.make src/CMakeFiles/ciltut-static.dir/build
-.PHONY : ciltut-static/fast
-
-ciltut_libc.o: ciltut_libc.c.o
-.PHONY : ciltut_libc.o
-
-# target to build an object file
-ciltut_libc.c.o:
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f src/CMakeFiles/ciltut-shared.dir/build.make src/CMakeFiles/ciltut-shared.dir/ciltut_libc.c.o
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f src/CMakeFiles/ciltut-static.dir/build.make src/CMakeFiles/ciltut-static.dir/ciltut_libc.c.o
-.PHONY : ciltut_libc.c.o
-
-ciltut_libc.i: ciltut_libc.c.i
-.PHONY : ciltut_libc.i
-
-# target to preprocess a source file
-ciltut_libc.c.i:
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f src/CMakeFiles/ciltut-shared.dir/build.make src/CMakeFiles/ciltut-shared.dir/ciltut_libc.c.i
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f src/CMakeFiles/ciltut-static.dir/build.make src/CMakeFiles/ciltut-static.dir/ciltut_libc.c.i
-.PHONY : ciltut_libc.c.i
-
-ciltut_libc.s: ciltut_libc.c.s
-.PHONY : ciltut_libc.s
-
-# target to generate assembly for a file
-ciltut_libc.c.s:
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f src/CMakeFiles/ciltut-shared.dir/build.make src/CMakeFiles/ciltut-shared.dir/ciltut_libc.c.s
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f src/CMakeFiles/ciltut-static.dir/build.make src/CMakeFiles/ciltut-static.dir/ciltut_libc.c.s
-.PHONY : ciltut_libc.c.s
-
-tut10.o: tut10.c.o
-.PHONY : tut10.o
-
-# target to build an object file
-tut10.c.o:
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f src/CMakeFiles/ciltut-shared.dir/build.make src/CMakeFiles/ciltut-shared.dir/tut10.c.o
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f src/CMakeFiles/ciltut-static.dir/build.make src/CMakeFiles/ciltut-static.dir/tut10.c.o
-.PHONY : tut10.c.o
-
-tut10.i: tut10.c.i
-.PHONY : tut10.i
-
-# target to preprocess a source file
-tut10.c.i:
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f src/CMakeFiles/ciltut-shared.dir/build.make src/CMakeFiles/ciltut-shared.dir/tut10.c.i
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f src/CMakeFiles/ciltut-static.dir/build.make src/CMakeFiles/ciltut-static.dir/tut10.c.i
-.PHONY : tut10.c.i
-
-tut10.s: tut10.c.s
-.PHONY : tut10.s
-
-# target to generate assembly for a file
-tut10.c.s:
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f src/CMakeFiles/ciltut-shared.dir/build.make src/CMakeFiles/ciltut-shared.dir/tut10.c.s
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f src/CMakeFiles/ciltut-static.dir/build.make src/CMakeFiles/ciltut-static.dir/tut10.c.s
-.PHONY : tut10.c.s
-
-tut4.o: tut4.c.o
-.PHONY : tut4.o
-
-# target to build an object file
-tut4.c.o:
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f src/CMakeFiles/ciltut-shared.dir/build.make src/CMakeFiles/ciltut-shared.dir/tut4.c.o
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f src/CMakeFiles/ciltut-static.dir/build.make src/CMakeFiles/ciltut-static.dir/tut4.c.o
-.PHONY : tut4.c.o
-
-tut4.i: tut4.c.i
-.PHONY : tut4.i
-
-# target to preprocess a source file
-tut4.c.i:
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f src/CMakeFiles/ciltut-shared.dir/build.make src/CMakeFiles/ciltut-shared.dir/tut4.c.i
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f src/CMakeFiles/ciltut-static.dir/build.make src/CMakeFiles/ciltut-static.dir/tut4.c.i
-.PHONY : tut4.c.i
-
-tut4.s: tut4.c.s
-.PHONY : tut4.s
-
-# target to generate assembly for a file
-tut4.c.s:
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f src/CMakeFiles/ciltut-shared.dir/build.make src/CMakeFiles/ciltut-shared.dir/tut4.c.s
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f src/CMakeFiles/ciltut-static.dir/build.make src/CMakeFiles/ciltut-static.dir/tut4.c.s
-.PHONY : tut4.c.s
-
-tut6.o: tut6.c.o
-.PHONY : tut6.o
-
-# target to build an object file
-tut6.c.o:
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f src/CMakeFiles/ciltut-shared.dir/build.make src/CMakeFiles/ciltut-shared.dir/tut6.c.o
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f src/CMakeFiles/ciltut-static.dir/build.make src/CMakeFiles/ciltut-static.dir/tut6.c.o
-.PHONY : tut6.c.o
-
-tut6.i: tut6.c.i
-.PHONY : tut6.i
-
-# target to preprocess a source file
-tut6.c.i:
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f src/CMakeFiles/ciltut-shared.dir/build.make src/CMakeFiles/ciltut-shared.dir/tut6.c.i
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f src/CMakeFiles/ciltut-static.dir/build.make src/CMakeFiles/ciltut-static.dir/tut6.c.i
-.PHONY : tut6.c.i
-
-tut6.s: tut6.c.s
-.PHONY : tut6.s
-
-# target to generate assembly for a file
-tut6.c.s:
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f src/CMakeFiles/ciltut-shared.dir/build.make src/CMakeFiles/ciltut-shared.dir/tut6.c.s
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f src/CMakeFiles/ciltut-static.dir/build.make src/CMakeFiles/ciltut-static.dir/tut6.c.s
-.PHONY : tut6.c.s
-
-tut8.o: tut8.c.o
-.PHONY : tut8.o
-
-# target to build an object file
-tut8.c.o:
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f src/CMakeFiles/ciltut-shared.dir/build.make src/CMakeFiles/ciltut-shared.dir/tut8.c.o
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f src/CMakeFiles/ciltut-static.dir/build.make src/CMakeFiles/ciltut-static.dir/tut8.c.o
-.PHONY : tut8.c.o
-
-tut8.i: tut8.c.i
-.PHONY : tut8.i
-
-# target to preprocess a source file
-tut8.c.i:
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f src/CMakeFiles/ciltut-shared.dir/build.make src/CMakeFiles/ciltut-shared.dir/tut8.c.i
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f src/CMakeFiles/ciltut-static.dir/build.make src/CMakeFiles/ciltut-static.dir/tut8.c.i
-.PHONY : tut8.c.i
-
-tut8.s: tut8.c.s
-.PHONY : tut8.s
-
-# target to generate assembly for a file
-tut8.c.s:
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f src/CMakeFiles/ciltut-shared.dir/build.make src/CMakeFiles/ciltut-shared.dir/tut8.c.s
-	cd /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(MAKE) -f src/CMakeFiles/ciltut-static.dir/build.make src/CMakeFiles/ciltut-static.dir/tut8.c.s
-.PHONY : tut8.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 "... ciltut-shared"
-	@echo "... ciltut-static"
-	@echo "... edit_cache"
-	@echo "... install"
-	@echo "... install/local"
-	@echo "... install/strip"
-	@echo "... list_install_components"
-	@echo "... rebuild_cache"
-	@echo "... ciltut_libc.o"
-	@echo "... ciltut_libc.i"
-	@echo "... ciltut_libc.s"
-	@echo "... tut10.o"
-	@echo "... tut10.i"
-	@echo "... tut10.s"
-	@echo "... tut4.o"
-	@echo "... tut4.i"
-	@echo "... tut4.s"
-	@echo "... tut6.o"
-	@echo "... tut6.i"
-	@echo "... tut6.s"
-	@echo "... tut8.o"
-	@echo "... tut8.i"
-	@echo "... tut8.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 /local/home/zra/Work/hg/eth/CilTutorial/ciltut-lib && $(CMAKE_COMMAND) -H$(CMAKE_SOURCE_DIR) -B$(CMAKE_BINARY_DIR) --check-build-system CMakeFiles/Makefile.cmake 0
-.PHONY : cmake_check_build_system
-

File lib/Ciltut.pm

         print STDERR "ciltutcc: no input files\n";
         return 0;
     } else {
-	    unshift @libs, @{$self->{CILTUTLIBS}}, "-ldl";
+	    unshift @libs, @{$self->{CILTUTLIBS}}, "-ldl", "-lrt";
         return $self->SUPER::link_after_cil(\@srcs, $dest, $ppargs,
                                             \@cargs, \@libs);
     }
 
 
 
-
-
   iterGlobals f (onlyFunctions processFunction)
 
 
+
+
-
-
-
 
 
 
 module L = List
 
 
-type color =
-  | Red
-  | Blue
-  | Green
+type color =  Red | Blue | Green
 
 let redStr   = "red"
 let blueStr  = "blue"
 let attr_of_color (c : color) : attribute = Attr(string_of_color c,[])
 
 
-
 type typecheck_result =
   | TypesOkay
   | TypesMismatch of typ * typ
       d_loc (!currentLoc) d_type t1 d_type t2
 
 
-
-
 class colorCheckVisitor = object(self)
   inherit nopCilVisitor
 
-
-
-
 
 
 
 end)
 
 
-
 type rgb = exp * exp * exp
 
 
 ]
 
 
-
 let rgb_of_color (c : color) : rgb =
   match c with
   | ExactRGB(r,g,b)
     []
 
 
-
 type color_checks = {
   mutable color_eq : varinfo;
   mutable color_le : varinfo;
-//@highlight \section{\texttt{test/tut3.c}}
-//@highlight \hltscom{The result of the analysis in \ttt{tut3.ml} will be to
-//@highlight    print a message to the console for each variable of integral
-//@highlight    type wherever it is used indicating whether it is even or odd
-//@highlight    at that program point. We consider the results of the analysis
-//@highlight    on the code below:}
-//@highlight \hlbegincode{}
+
+
+
+
+
+
+
 
 #include <stdio.h>
 
   printf("a = %d, b = %d, c = %d, d = %d\n", a, b, c, d);
   return 0;
 }
-//@highlight \hlendcode{}
 
+
+
+
+
+
+
+
+
+
+
 #include <stdio.h>
 
 int main()
-#include <stdio.h>
+
+
+
+
+
+
+
+
+
 
 struct foo {
-	int *a;
-	int b;
-	int *c;
+  int *a, b, *c;
 };
 
 struct bar {
-	struct foo f;
-	int *a;
-	int b;
+  struct foo f;
+  int *a, b;
 };
 
 struct baz {
-	struct bar b;
-	int a;
-	int *c;
+  struct bar b;
+  int a, *c;
 };
 
 int main()
 {
-	struct baz b[37];
-	int i;
+  struct baz b[37];
+  int i;
 
-	for (i = 0; i < 37; i++) {
-		b[i].a = 3;
-	}
+  for (i = 0; i < 37; i++) {
+    b[i].a = 3;
+  }
 
   return 0;
 }
-#include <stdlib.h>
-#include <stdio.h>
 
-struct foo {
-	int *a;
-	int b;
-	int *c;
-};
 
-struct bar {
-	struct foo f;
-	int *a;
-	int b;
-};
 
-struct baz {
-	struct bar b;
-	int a;
-	int *c;
-};
+
+
+
+
+
+#include <pthread.h>
+
+int counter = 0;
+pthread_mutex_t mtx = PTHREAD_MUTEX_INITIALIZER;
 
 int main()
 {
-	struct baz *b[37];
-	int i;
-
-	for (i = 0; i < 37; i++) {
-		b[i] = malloc(sizeof(struct baz));
-	}
-
+  pthread_mutex_lock(&mtx);
+  counter++;
+  pthread_mutex_unlock(&mtx);
   return 0;
 }