Skip to main content

Browse the archive

https://github.com/EasyCrypt/easycrypt
09 March 2024, 04:34:05 UTC
Revision cbeb6f3a9a65ccaeef279577c564fc195d2d7d3c authored by Benjamin Gregoire on 28 July 2017, 06:04:26 UTC, committed by Benjamin Gregoire on 28 July 2017, 09:58:12 UTC 
more lemmas
1 parent 55cc1ec
Raw File
Tip revision: cbeb6f3a9a65ccaeef279577c564fc195d2d7d3c authored by Benjamin Gregoire on 28 July 2017, 06:04:26 UTC
more lemmas
Tip revision: cbeb6f3
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
back to top