From 143db5638d6941009eda3e5c70c84a1c45f7bff6 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Wed, 19 Jun 2019 17:48:31 +0200 Subject: paths for carlit --- test/monniaux/csmith/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/monniaux/csmith') diff --git a/test/monniaux/csmith/Makefile b/test/monniaux/csmith/Makefile index e6961036..37c560d6 100644 --- a/test/monniaux/csmith/Makefile +++ b/test/monniaux/csmith/Makefile @@ -2,7 +2,7 @@ CSMITH=csmith MAX=1000 include ../rules.mk -K1C_CCOMPFLAGS+=-I/usr/include/csmith -fstruct-passing -fbitfields +K1C_CCOMPFLAGS+=-I/local/monniaux/packages/csmith-2.3.0/include/csmith-2.3.0 -I/usr/include/csmith -fstruct-passing -fbitfields TARGETS_S=$(shell seq --format src%06.f.ccomp.k1c.s 0 $(MAX)) TARGETS_C=$(shell seq --format src%06.f.c 0 $(MAX)) -- cgit