Skip to main content

Browse the archive

Revision 92effbe8a561ab3c0deed8c1e189c9c52af7c468 authored by Ruette on 18 September 2018, 16:03:04 UTC, committed by Pierre-Yves Strub on 18 September 2018, 16:03:04 UTC 
adding joint operator (+) and its lemmas (#21)
 
 
 
 
 1 parent   5cbf6f1 
  
 
 
 
  
 
   Raw File             
 
 
   
   
 
 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