abc/Makefile - third_party/vtr-verilog-to-routing - Git at Google



            CC   := gcc

            
            CXX  := g++

            
            LD   := $(CXX)


            MSG_PREFIX ?=

            
            ABCSRC = .


            $(info $(MSG_PREFIX)Using CC=$(CC))

            
            $(info $(MSG_PREFIX)Using CXX=$(CXX))

            
            $(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/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/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/cgt src/opt/csw src/opt/dar src/opt/dau src/opt/dsc src/opt/sfm src/opt/sbd \

            
            	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/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) arch_flags.c -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    += -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare $(ARCHFLAGS)

            
            ifneq ($(findstring arm,$(shell uname -m)),)

            
            	CFLAGS += -DABC_MEMALIGN=4

            
            endif


            # compile ABC using the C++ comipler and put everything in the namespace $(ABC_NAMESPACE)

            
            ifdef ABC_USE_NAMESPACE

            
              CFLAGS += -DABC_NAMESPACE=$(ABC_USE_NAMESPACE) -fpermissive

            
              CC := $(CXX)

            
              $(info $(MSG_PREFIX)Compiling in namespace $(ABC_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

            
              $(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

            
              $(info $(MSG_PREFIX)Using libreadline)

            
            endif


            # whether to compile with thread support

            
            ifndef ABC_USE_NO_PTHREADS

            
              CFLAGS += -DABC_USE_PTHREADS

            
              LIBS += -lpthread

            
              $(info $(MSG_PREFIX)Using pthreads)

            
            endif


            # whether to compile into position independent code

            
            ifdef ABC_USE_PIC

            
              CFLAGS += -fPIC

            
              LIBS += -fPIC

            
              $(info $(MSG_PREFIX)Compiling position independent code)

            
            endif


            # whether to echo commands while building

            
            ifdef ABC_MAKE_VERBOSE

            
              VERBOSE=

            
            else

            
              VERBOSE=@

            
            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)))


            $(info $(MSG_PREFIX)Found GCC_VERSION $(GCC_VERSION))

            
            ifeq ($(findstring $(GCC_MAJOR),0 1 2 3),)

            
            $(info $(MSG_PREFIX)Found GCC_MAJOR>=4)

            
            ifeq ($(findstring $(GCC_MINOR),0 1 2 3 4 5),)

            
            $(info $(MSG_PREFIX)Found GCC_MINOR>=6)

            
            CFLAGS += -Wno-unused-but-set-variable

            
            endif

            
            endif


            endif


            # LIBS := -ldl -lrt

            
            LIBS += -lm

            
            ifneq ($(OS), FreeBSD)

            
              LIBS += -ldl

            
            endif


            ifneq ($(findstring Darwin, $(shell uname)), Darwin)

            
               LIBS += -lrt

            
            endif


            ifdef ABC_USE_LIBSTDCXX

            
               LIBS += -lstdc++

            
               $(info $(MSG_PREFIX)Using explicit -lstdc++)

            
            endif


            $(info $(MSG_PREFIX)Using CFLAGS=$(CFLAGS))

            
            CXXFLAGS += $(CFLAGS)


            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

            
            	@echo "$(MSG_PREFIX)\`\` Compiling:" $(LOCAL_PATH)/$<

            
            	$(VERBOSE)$(CC) -c $(OPTFLAGS) $(INCLUDES) $(CFLAGS) $< -o $@


            %.o: %.cc

            
            	@echo "$(MSG_PREFIX)\`\` Compiling:" $(LOCAL_PATH)/$<

            
            	$(VERBOSE)$(CXX) -c $(OPTFLAGS) $(INCLUDES) $(CXXFLAGS) $< -o $@


            %.o: %.cpp

            
            	@echo "$(MSG_PREFIX)\`\` Compiling:" $(LOCAL_PATH)/$<

            
            	$(VERBOSE)$(CXX) -c $(OPTFLAGS) $(INCLUDES) $(CXXFLAGS) $< -o $@


            %.d: %.c

            
            	@echo "$(MSG_PREFIX)\`\` Generating dependency:" $(LOCAL_PATH)/$<

            
            	$(VERBOSE)$(ABCSRC)/depends.sh $(CC) `dirname $*.c` $(OPTFLAGS) $(INCLUDES) $(CFLAGS) $< > $@


            %.d: %.cc

            
            	@echo "$(MSG_PREFIX)\`\` Generating dependency:" $(LOCAL_PATH)/$<

            
            	$(VERBOSE)$(ABCSRC)/depends.sh $(CXX) `dirname $*.cc` $(OPTFLAGS) $(INCLUDES) $(CXXFLAGS) $< > $@


            %.d: %.cpp

            
            	@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 $(OBJ) $(GARBAGE) $(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 rv $@ $?

            
            	$(VERBOSE)ranlib $@


            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

	CC := gcc
	CXX := g++
	LD := $(CXX)

	MSG_PREFIX ?=
	ABCSRC = .

	$(info $(MSG_PREFIX)Using CC=$(CC))
	$(info $(MSG_PREFIX)Using CXX=$(CXX))
	$(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/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/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/cgt src/opt/csw src/opt/dar src/opt/dau src/opt/dsc src/opt/sfm src/opt/sbd \
	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/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) arch_flags.c -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 += -Wall -Wno-unused-function -Wno-write-strings -Wno-sign-compare $(ARCHFLAGS)
	ifneq ($(findstring arm,$(shell uname -m)),)
	CFLAGS += -DABC_MEMALIGN=4
	endif

	# compile ABC using the C++ comipler and put everything in the namespace $(ABC_NAMESPACE)
	ifdef ABC_USE_NAMESPACE
	CFLAGS += -DABC_NAMESPACE=$(ABC_USE_NAMESPACE) -fpermissive
	CC := $(CXX)
	$(info $(MSG_PREFIX)Compiling in namespace $(ABC_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
	$(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
	$(info $(MSG_PREFIX)Using libreadline)
	endif

	# whether to compile with thread support
	ifndef ABC_USE_NO_PTHREADS
	CFLAGS += -DABC_USE_PTHREADS
	LIBS += -lpthread
	$(info $(MSG_PREFIX)Using pthreads)
	endif

	# whether to compile into position independent code
	ifdef ABC_USE_PIC
	CFLAGS += -fPIC
	LIBS += -fPIC
	$(info $(MSG_PREFIX)Compiling position independent code)
	endif

	# whether to echo commands while building
	ifdef ABC_MAKE_VERBOSE
	VERBOSE=
	else
	VERBOSE=@
	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)))

	$(info $(MSG_PREFIX)Found GCC_VERSION $(GCC_VERSION))
	ifeq ($(findstring $(GCC_MAJOR),0 1 2 3),)
	$(info $(MSG_PREFIX)Found GCC_MAJOR>=4)
	ifeq ($(findstring $(GCC_MINOR),0 1 2 3 4 5),)
	$(info $(MSG_PREFIX)Found GCC_MINOR>=6)
	CFLAGS += -Wno-unused-but-set-variable
	endif
	endif

	endif

	# LIBS := -ldl -lrt
	LIBS += -lm
	ifneq ($(OS), FreeBSD)
	LIBS += -ldl
	endif

	ifneq ($(findstring Darwin, $(shell uname)), Darwin)
	LIBS += -lrt
	endif

	ifdef ABC_USE_LIBSTDCXX
	LIBS += -lstdc++
	$(info $(MSG_PREFIX)Using explicit -lstdc++)
	endif

	$(info $(MSG_PREFIX)Using CFLAGS=$(CFLAGS))
	CXXFLAGS += $(CFLAGS)

	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
	@echo "$(MSG_PREFIX)\`\` Compiling:" $(LOCAL_PATH)/$<
	$(VERBOSE)$(CC) -c $(OPTFLAGS) $(INCLUDES) $(CFLAGS) $< -o $@

	%.o: %.cc
	@echo "$(MSG_PREFIX)\`\` Compiling:" $(LOCAL_PATH)/$<
	$(VERBOSE)$(CXX) -c $(OPTFLAGS) $(INCLUDES) $(CXXFLAGS) $< -o $@

	%.o: %.cpp
	@echo "$(MSG_PREFIX)\`\` Compiling:" $(LOCAL_PATH)/$<
	$(VERBOSE)$(CXX) -c $(OPTFLAGS) $(INCLUDES) $(CXXFLAGS) $< -o $@

	%.d: %.c
	@echo "$(MSG_PREFIX)\`\` Generating dependency:" $(LOCAL_PATH)/$<
	$(VERBOSE)$(ABCSRC)/depends.sh $(CC) `dirname $*.c` $(OPTFLAGS) $(INCLUDES) $(CFLAGS) $< > $@

	%.d: %.cc
	@echo "$(MSG_PREFIX)\`\` Generating dependency:" $(LOCAL_PATH)/$<
	$(VERBOSE)$(ABCSRC)/depends.sh $(CXX) `dirname $*.cc` $(OPTFLAGS) $(INCLUDES) $(CXXFLAGS) $< > $@

	%.d: %.cpp
	@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 $(OBJ) $(GARBAGE) $(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 rv $@ $?
	$(VERBOSE)ranlib $@

	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