mirror of
https://github.com/The-OpenROAD-Project/abc.git
synced 2026-03-12 11:26:17 +08:00
4c756ffb8d
Some checks failed
Build Posix Bazel / build-posix-bazel (push) Has been cancelled
Build Posix CMake / build-posix-cmake (macos-latest, false) (push) Has been cancelled
Build Posix CMake / build-posix-cmake (macos-latest, true) (push) Has been cancelled
Build Posix CMake / build-posix-cmake (ubuntu-latest, false) (push) Has been cancelled
Build Posix CMake / build-posix-cmake (ubuntu-latest, true) (push) Has been cancelled
Build Posix / build-posix (macos-latest, false) (push) Has been cancelled
Build Posix / build-posix (macos-latest, true) (push) Has been cancelled
Build Posix / build-posix (ubuntu-latest, false) (push) Has been cancelled
Build Posix / build-posix (ubuntu-latest, true) (push) Has been cancelled
Build Windows / build-windows (push) Has been cancelled
Signed-off-by: Matt Liberty <mliberty@precisioninno.com>
248 lines
7.5 KiB
Makefile
248 lines
7.5 KiB
Makefile
|
|
CC := gcc
|
|
CXX := g++
|
|
AR := ar
|
|
LD := $(CXX)
|
|
|
|
MSG_PREFIX ?=
|
|
ABCSRC ?= .
|
|
VPATH = $(ABCSRC)
|
|
|
|
# whether to print build options, tools, and echo commands while building
|
|
ifdef ABC_MAKE_VERBOSE
|
|
VERBOSE=
|
|
abc_info = $(info $(1))
|
|
else
|
|
VERBOSE=@
|
|
abc_info =
|
|
endif
|
|
|
|
$(call abc_info,$(MSG_PREFIX)Using CC=$(CC))
|
|
$(call abc_info,$(MSG_PREFIX)Using CXX=$(CXX))
|
|
$(call abc_info,$(MSG_PREFIX)Using AR=$(AR))
|
|
$(call abc_info,$(MSG_PREFIX)Using LD=$(LD))
|
|
|
|
PROG := abc
|
|
OS := $(shell uname -s)
|
|
|
|
MODULES := \
|
|
$(wildcard src/ext*) \
|
|
src/base/abc src/base/abci src/base/cmd src/base/io src/base/main src/base/exor \
|
|
src/base/ver src/base/wlc src/base/wln src/base/acb src/base/bac src/base/cba src/base/pla src/base/test \
|
|
src/map/mapper src/map/mio src/map/super src/map/if src/map/if/acd \
|
|
src/map/amap src/map/cov src/map/scl src/map/mpm \
|
|
src/misc/extra src/misc/mvc src/misc/st src/misc/util src/misc/nm \
|
|
src/misc/vec src/misc/hash src/misc/tim src/misc/bzlib src/misc/zlib \
|
|
src/misc/mem src/misc/bar src/misc/bbl src/misc/parse \
|
|
src/opt/cut src/opt/fxu src/opt/fxch src/opt/rwr src/opt/mfs src/opt/sim \
|
|
src/opt/ret src/opt/fret src/opt/res src/opt/lpk src/opt/nwk src/opt/rwt src/opt/rar \
|
|
src/opt/cgt src/opt/csw src/opt/dar src/opt/dau src/opt/dsc src/opt/sfm src/opt/sbd src/opt/eslim \
|
|
src/sat/bsat src/sat/xsat src/sat/satoko src/sat/csat src/sat/msat src/sat/psat src/sat/cnf src/sat/bmc src/sat/glucose src/sat/glucose2 src/sat/kissat src/sat/cadical \
|
|
src/bool/bdc src/bool/deco src/bool/dec src/bool/kit src/bool/lucky \
|
|
src/bool/rsb src/bool/rpo \
|
|
src/proof/pdr src/proof/abs src/proof/live src/proof/ssc src/proof/int \
|
|
src/proof/cec src/proof/acec src/proof/dch src/proof/fraig src/proof/fra src/proof/ssw \
|
|
src/aig/aig src/aig/saig src/aig/gia src/aig/ioa src/aig/ivy src/aig/hop \
|
|
src/aig/miniaig
|
|
|
|
all: $(PROG)
|
|
default: $(PROG)
|
|
|
|
ARCHFLAGS_EXE ?= ./arch_flags
|
|
|
|
$(ARCHFLAGS_EXE) : arch_flags.c
|
|
$(CC) $< -o $(ARCHFLAGS_EXE)
|
|
|
|
INCLUDES += -I$(ABCSRC)/src
|
|
|
|
# Use C99 stdint.h header for platform-dependent types
|
|
ifdef ABC_USE_STDINT_H
|
|
ARCHFLAGS ?= -DABC_USE_STDINT_H=1
|
|
else
|
|
ARCHFLAGS ?= $(shell $(CC) $(ABCSRC)/arch_flags.c -o $(ARCHFLAGS_EXE) && $(ARCHFLAGS_EXE))
|
|
endif
|
|
|
|
ARCHFLAGS := $(ARCHFLAGS)
|
|
|
|
OPTFLAGS ?= -g -O
|
|
|
|
CFLAGS += -Wno-array-bounds -Wno-nonnull -Wno-maybe-uninitialized -Wno-format-overflow -Wno-unused-variable -Wno-unused-function -Wno-write-strings -Wno-sign-compare -Wno-deprecated -Wno-c++11-narrowing -Wno-register -Wno-format -Wno-reserved-user-defined-literal -Wno-alloc-size-larger-than -Wno-attributes -Wno-aggressive-loop-optimizations -Wno-stringop-overflow -Wno-changes-meaning $(ARCHFLAGS)
|
|
|
|
ifneq ($(findstring arm,$(shell uname -m)),)
|
|
CFLAGS += -DABC_MEMALIGN=4
|
|
endif
|
|
|
|
# compile ABC using the C++ compiler and put everything in the namespace $(ABC_NAMESPACE)
|
|
ifdef ABC_USE_NAMESPACE
|
|
CFLAGS += -DABC_NAMESPACE=$(ABC_USE_NAMESPACE) -fpermissive -x c++
|
|
CC := $(CXX)
|
|
$(call abc_info,$(MSG_PREFIX)Compiling in namespace $(ABC_USE_NAMESPACE))
|
|
endif
|
|
|
|
# compile CUDD with ABC
|
|
ifndef ABC_USE_NO_CUDD
|
|
CFLAGS += -DABC_USE_CUDD=1
|
|
MODULES += src/bdd/cudd src/bdd/extrab src/bdd/dsd src/bdd/epd src/bdd/mtr src/bdd/reo src/bdd/cas src/bdd/bbr src/bdd/llb
|
|
$(call abc_info,$(MSG_PREFIX)Compiling with CUDD)
|
|
endif
|
|
|
|
ABC_READLINE_INCLUDES ?=
|
|
ABC_READLINE_LIBRARIES ?= -lreadline
|
|
|
|
# whether to use libreadline
|
|
ifndef ABC_USE_NO_READLINE
|
|
CFLAGS += -DABC_USE_READLINE $(ABC_READLINE_INCLUDES)
|
|
LIBS += $(ABC_READLINE_LIBRARIES)
|
|
ifeq ($(OS), FreeBSD)
|
|
CFLAGS += -I/usr/local/include
|
|
LDFLAGS += -L/usr/local/lib
|
|
endif
|
|
$(call abc_info,$(MSG_PREFIX)Using libreadline)
|
|
endif
|
|
|
|
# whether to compile with thread support
|
|
ifndef ABC_USE_NO_PTHREADS
|
|
CFLAGS += -DABC_USE_PTHREADS
|
|
LIBS += -lpthread
|
|
$(call abc_info,$(MSG_PREFIX)Using pthreads)
|
|
endif
|
|
|
|
# whether to compile into position independent code
|
|
ifdef ABC_USE_PIC
|
|
CFLAGS += -fPIC
|
|
LIBS += -fPIC
|
|
$(call abc_info,$(MSG_PREFIX)Compiling position independent code)
|
|
endif
|
|
|
|
# Set -Wno-unused-bug-set-variable for GCC 4.6.0 and greater only
|
|
ifneq ($(or $(findstring gcc,$(CC)),$(findstring g++,$(CC))),)
|
|
empty:=
|
|
space:=$(empty) $(empty)
|
|
|
|
GCC_VERSION=$(shell $(CC) -dumpversion)
|
|
GCC_MAJOR=$(word 1,$(subst .,$(space),$(GCC_VERSION)))
|
|
GCC_MINOR=$(word 2,$(subst .,$(space),$(GCC_VERSION)))
|
|
|
|
$(call abc_info,$(MSG_PREFIX)Found GCC_VERSION $(GCC_VERSION))
|
|
ifeq ($(findstring $(GCC_MAJOR),0 1 2 3),)
|
|
ifeq ($(GCC_MAJOR),4)
|
|
$(call abc_info,$(MSG_PREFIX)Found GCC_MAJOR==4)
|
|
ifeq ($(findstring $(GCC_MINOR),0 1 2 3 4 5),)
|
|
$(call abc_info,$(MSG_PREFIX)Found GCC_MINOR>=6)
|
|
CFLAGS += -Wno-unused-but-set-variable
|
|
endif
|
|
else
|
|
$(call abc_info,$(MSG_PREFIX)Found GCC_MAJOR>=5)
|
|
CFLAGS += -Wno-unused-but-set-variable
|
|
endif
|
|
endif
|
|
|
|
endif
|
|
|
|
# LIBS := -ldl -lrt
|
|
LIBS += -lm
|
|
ifneq ($(OS), $(filter $(OS), FreeBSD OpenBSD NetBSD))
|
|
LIBS += -ldl
|
|
endif
|
|
|
|
ifneq ($(OS), $(filter $(OS), FreeBSD OpenBSD NetBSD Darwin))
|
|
LIBS += -lrt
|
|
endif
|
|
|
|
ifdef ABC_USE_LIBSTDCXX
|
|
LIBS += -lstdc++
|
|
$(call abc_info,$(MSG_PREFIX)Using explicit -lstdc++)
|
|
endif
|
|
|
|
$(call abc_info,$(MSG_PREFIX)Using CFLAGS=$(CFLAGS))
|
|
CXXFLAGS += $(CFLAGS) -std=c++17 -fno-exceptions
|
|
|
|
SRC :=
|
|
GARBAGE := core core.* *.stackdump ./tags $(PROG) arch_flags
|
|
|
|
.PHONY: all default tags clean docs cmake_info
|
|
|
|
include $(patsubst %, $(ABCSRC)/%/module.make, $(MODULES))
|
|
|
|
OBJ := \
|
|
$(patsubst %.cc, %.o, $(filter %.cc, $(SRC))) \
|
|
$(patsubst %.cpp, %.o, $(filter %.cpp, $(SRC))) \
|
|
$(patsubst %.c, %.o, $(filter %.c, $(SRC))) \
|
|
$(patsubst %.y, %.o, $(filter %.y, $(SRC)))
|
|
|
|
LIBOBJ := $(filter-out src/base/main/main.o,$(OBJ))
|
|
|
|
DEP := $(OBJ:.o=.d)
|
|
|
|
# implicit rules
|
|
|
|
%.o: %.c
|
|
@mkdir -p $(dir $@)
|
|
@echo "$(MSG_PREFIX)\`\` Compiling:" $(LOCAL_PATH)/$<
|
|
$(VERBOSE)$(CC) -c $(OPTFLAGS) $(INCLUDES) $(CFLAGS) $< -o $@
|
|
|
|
%.o: %.cc
|
|
@mkdir -p $(dir $@)
|
|
@echo "$(MSG_PREFIX)\`\` Compiling:" $(LOCAL_PATH)/$<
|
|
$(VERBOSE)$(CXX) -c $(OPTFLAGS) $(INCLUDES) $(CXXFLAGS) $< -o $@
|
|
|
|
%.o: %.cpp
|
|
@mkdir -p $(dir $@)
|
|
@echo "$(MSG_PREFIX)\`\` Compiling:" $(LOCAL_PATH)/$<
|
|
$(VERBOSE)$(CXX) -c $(OPTFLAGS) $(INCLUDES) $(CXXFLAGS) $< -o $@
|
|
|
|
%.d: %.c
|
|
@mkdir -p $(dir $@)
|
|
@echo "$(MSG_PREFIX)\`\` Generating dependency:" $(LOCAL_PATH)/$<
|
|
$(VERBOSE)$(ABCSRC)/depends.sh "$(CC)" `dirname $*.c` $(OPTFLAGS) $(INCLUDES) $(CFLAGS) $< > $@
|
|
|
|
%.d: %.cc
|
|
@mkdir -p $(dir $@)
|
|
@echo "$(MSG_PREFIX)\`\` Generating dependency:" $(LOCAL_PATH)/$<
|
|
$(VERBOSE)$(ABCSRC)/depends.sh "$(CXX)" `dirname $*.cc` $(OPTFLAGS) $(INCLUDES) $(CXXFLAGS) $< > $@
|
|
|
|
%.d: %.cpp
|
|
@mkdir -p $(dir $@)
|
|
@echo "$(MSG_PREFIX)\`\` Generating dependency:" $(LOCAL_PATH)/$<
|
|
$(VERBOSE)$(ABCSRC)/depends.sh "$(CXX)" `dirname $*.cpp` $(OPTFLAGS) $(INCLUDES) $(CXXFLAGS) $< > $@
|
|
|
|
ifndef ABC_MAKE_NO_DEPS
|
|
-include $(DEP)
|
|
endif
|
|
|
|
# Actual targets
|
|
|
|
depend: $(DEP)
|
|
|
|
clean:
|
|
@echo "$(MSG_PREFIX)\`\` Cleaning up..."
|
|
$(VERBOSE)rm -rvf $(PROG) lib$(PROG).a
|
|
$(VERBOSE)rm -rvf $(OBJ)
|
|
$(VERBOSE)rm -rvf $(GARBAGE)
|
|
$(VERBOSE)rm -rvf $(OBJ:.o=.d)
|
|
|
|
tags:
|
|
etags `find . -type f -regex '.*\.\(c\|h\)'`
|
|
|
|
$(PROG): $(OBJ)
|
|
@echo "$(MSG_PREFIX)\`\` Building binary:" $(notdir $@)
|
|
$(VERBOSE)$(LD) -o $@ $^ $(LDFLAGS) $(LIBS)
|
|
|
|
lib$(PROG).a: $(LIBOBJ)
|
|
@echo "$(MSG_PREFIX)\`\` Linking:" $(notdir $@)
|
|
$(VERBOSE)$(AR) rsv $@ $?
|
|
|
|
lib$(PROG).so: $(LIBOBJ)
|
|
@echo "$(MSG_PREFIX)\`\` Linking:" $(notdir $@)
|
|
$(VERBOSE)$(CXX) -shared -o $@ $^ $(LIBS)
|
|
|
|
docs:
|
|
@echo "$(MSG_PREFIX)\`\` Building documentation." $(notdir $@)
|
|
$(VERBOSE)doxygen doxygen.conf
|
|
|
|
cmake_info:
|
|
@echo SEPARATOR_CFLAGS $(CFLAGS) SEPARATOR_CFLAGS
|
|
@echo SEPARATOR_CXXFLAGS $(CXXFLAGS) SEPARATOR_CXXFLAGS
|
|
@echo SEPARATOR_LIBS $(LIBS) SEPARATOR_LIBS
|
|
@echo SEPARATOR_SRC $(SRC) SEPARATOR_SRC
|