From 5e4f7604e9f68038129ca27ff207e3ede46eafb0 Mon Sep 17 00:00:00 2001 From: Julia Longtin Date: Tue, 21 May 2019 22:48:47 +0100 Subject: [PATCH] stop using valgrind by default when generating examples. --- Makefile | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index a9278d0..57703e1 100644 --- a/Makefile +++ b/Makefile @@ -31,6 +31,10 @@ RESOPTS=-r 50 # Uncomment for profiling support. Note that you will need to recompile all of the libraries, as well. #PROFILING= --enable-profiling +## FIXME: escape this right +# Uncomment for valgrind on the examples. +#VALGRIND=valgrind --tool=cachegrind --cachegrind-out-file=$$each.cachegrind.`date +%s` + LIBFILES=$(shell find Graphics -name '*.hs') LIBTARGET=dist/build/Graphics/Implicit.o @@ -95,7 +99,7 @@ dist: $(TARGETS) # Generate examples. examples: $(EXTOPENSCAD) - cd Examples && for each in `find ./ -name '*scad' -type f | sort`; do { valgrind --tool=cachegrind --cachegrind-out-file=$$each.cachegrind.`date +%s` ../$(EXTOPENSCAD) $$each $(RTSOPTS); } done + cd Examples && for each in `find ./ -name '*scad' -type f | sort`; do { ../$(EXTOPENSCAD) $$each $(RTSOPTS); } done cd Examples && for each in `find ./ -name '*.hs' -type f | sort`; do { filename=$(basename "$$each"); filename="$${filename%.*}"; $(GHC) $$filename.hs -o $$filename; $$filename; } done # Generate images from the examples, so we can upload the images to our website.