https://github.com/audemard/glucose
Tip revision: 737142592828eadd3734da62f9db08ba4dc3c383 authored by audemard on 09 May 2023, 09:11:03 UTC
Glucose 2.0
Glucose 2.0
Tip revision: 7371425
options.mak
OPTIMIZE := -O3
OPTIMORE := -O10 -foptimize-sibling-calls -finline-functions -fcse-follow-jumps -fcse-skip-blocks -frerun-cse-after-loop -frerun-loop-opt -fgcse # -fomit-frame-pointer
INCLUDES := $(FM_INCLUDE) -include $(FM)/Global/Global.h -I$(FM)/ADTs -I$(FM)/Lib/Include -I$(PWD)
OBJS := $(sort $(addsuffix .o, $(basename $(wildcard *.C *.l *.env))))
ifdef EXTENSION
XOBJS := $(sort $(addsuffix .o, $(basename $(wildcard ext_$(EXTENSION)/*.C ext_$(EXTENSION)/*.def ext_$(EXTENSION)/*.l ext_$(EXTENSION)/*.env))))
OBJS := $(filter-out $(notdir $(XOBJS)), $(OBJS)) $(XOBJS)
endif
GOBJS := $(FM)/Global/Global.o $(FM)/ADTs/File.o
EXEC := $(notdir $(shell pwd))
DEP_FILES := $(addsuffix .C, $(basename $(OBJS)))
