swh:1:snp:f92f30fa3090eae65efe8d40c3d27dad22819990
Tip revision: 5e06824340dbecd78d36e3ddde952e505e85061f authored by Pierre-Yves Strub on 27 April 2018, 12:07:39 UTC
Merge branch '1.0' into deploy-trivial-in-low-api
Merge branch '1.0' into deploy-trivial-in-low-api
Tip revision: 5e06824
Makefile
#! -*- Makefile -*-
# --------------------------------------------------------------------
.PHONY: all clean
# --------------------------------------------------------------------
BIN = callprover
CPPFLAGS =
CFLAGS = -Wall -W -Wno-unused-function -std=gnu99
LDFLAGS =
include ../Makefile.system
ifneq (,$(findstring mingw,$(MACHINE)))
CFLAGS += -municode
LDFLAGS += -municode
endif
# --------------------------------------------------------------------
all: $(BIN)$(EXE)
$(BIN)$(EXE): $(BIN).o
$(CC) -o $@ $(LDFLAGS) $^
clean:
rm -f $(BIN)$(EXE) $(BIN).o
%.o: %.c
$(CC) -c -o $@ $(CPPFLAGS) $(CFLAGS) $<
callprover.o: win32/callprover.c unix/callprover.c