From fe9df779fdf0e41bdb9277a5c757b4619f27e232 Mon Sep 17 00:00:00 2001 From: Adam Sampson Date: Wed, 25 Apr 2007 17:17:32 +0000 Subject: [PATCH] Remove the .fco suffix from compiled binaries --- fco2/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/fco2/Makefile b/fco2/Makefile index 16d32a1..dc80788 100644 --- a/fco2/Makefile +++ b/fco2/Makefile @@ -26,11 +26,11 @@ $(targets): $(sources) CFLAGS = -g -std=gnu99 -Wall `kroc --cflags` `kroc --ccincpath` -%.fco.c: %.occ fco +%.c: %.occ fco ./fco -v -o $@ $< indent -kr -pcs $@ -%.fco: %.fco.o fco_support.h kroc-wrapper-c.o kroc-wrapper.occ +%: %.o fco_support.h kroc-wrapper-c.o kroc-wrapper.occ kroc -o $@ kroc-wrapper.occ $< kroc-wrapper-c.o -lcif tests = $(wildcard testcases/*.occ)