diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2018-06-02 10:13:41 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2018-06-02 10:13:41 +0200 |
| commit | 08411be90dcce22cf92bca1c42331a8da884746e (patch) | |
| tree | 37b155dd030b1c3da5ffc34e222a9fbb46389d8a /test | |
| parent | c58b421571b0354eea602adbdae674bd1f4847e3 (diff) | |
| download | compcert-08411be90dcce22cf92bca1c42331a8da884746e.tar.gz compcert-08411be90dcce22cf92bca1c42331a8da884746e.zip | |
Don't depend on ../../clightgen
It's not really necessary, and under Windows it's really ../../clightgen.exe,
which confuses make.
Diffstat (limited to 'test')
| -rw-r--r-- | test/clightgen/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/clightgen/Makefile b/test/clightgen/Makefile index 208c2d0d..0dc1dd00 100644 --- a/test/clightgen/Makefile +++ b/test/clightgen/Makefile @@ -26,13 +26,13 @@ all: $(SRC:.c=.vo) test: -%.v: %.c $(CLIGHTGEN) +%.v: %.c $(CLIGHTGEN) $(CFLAGS) -o $@ $< -%.v: ../c/%.c $(CLIGHTGEN) +%.v: ../c/%.c $(CLIGHTGEN) $(CFLAGS) -o $@ $< -%.v: ../raytracer/%.c $(CLIGHTGEN) +%.v: ../raytracer/%.c $(CLIGHTGEN) -I../raytracer -fall $(CFLAGS) -o $@ $< %.vo: %.v |