Makefile

# (C) 2020 Riad S. Wahby <rsw@cs.stanford.edu>
#
# This file is part of eccons.
#
# Licensed under the Apache License, Version 2.0 (see
# LICENSE or https://www.apache.org/licenses/LICENSE-2.0).
# This file may not be copied, modified, or distributed
# except according to those terms.

CXXFLAGS := -std=c++17 -m64 -pedantic -pedantic-errors -Werror -Wall -Wextra -Wshadow -Wpointer-arith -Wcast-qual -Wformat=2 -Weffc++ -Wold-style-cast
DEBUG ?= 0
ifeq ($(DEBUG),1)
	DFLAGS := -g -Og -ggdb3
else
	DFLAGS := -O3 -flto
endif
CFLAGS += $(DFLAGS)
CXXFLAGS += $(DFLAGS)

override LINTFLAGS += -checks=performance-*,modernize-*,readability-*,misc-*,hicpp-*,cppcoreguidelines-*,google-*,-readability-magic-numbers,-readability-misleading-indentation,-hicpp-signed-bitwise,-hicpp-member-init,-cppcoreguidelines-avoid-magic-numbers,-cppcoreguidelines-pro-type-member-init,-cppcoreguidelines-pro-type-reinterpret-cast,-cppcoreguidelines-pro-bounds-pointer-arithmetic,-cppcoreguidelines-pro-bounds-constant-array-index,-google-runtime-references,-*braces-around-statements,-readability-avoid-const-params-in-decls,-google-runtime-int,-hicpp-vararg,-modernize-use-trailing-return-type,-cppcoreguidelines-pro-type-vararg,-readability-implicit-bool-conversion,-readability-isolate-declaration,-cppcoreguidelines-avoid-goto,-hicpp-avoid-goto -header-filter=.*
.PHONY: lintphony
lint_%: CXXFLAGS+= -Wno-missing-braces -Wmissing-field-initializers
lint_%: %.cc
	clang-tidy $< $(LINTFLAGS) -- $(CXXFLAGS) $(CPPFLAGS)

LDLIBS := -lgmpxx -lgmp

all: eccons

eccons: eccons.cc
	g++ $(CXXFLAGS) -o $@ $< $(LDFLAGS) $(LDLIBS)

lint: lint_eccons

PHONY: clean
clean:
	rm -f eccons