From bdd12adfb4f3a537d0e6571869dd10d1e3a48a6f Mon Sep 17 00:00:00 2001 From: Nicholas Orlowsky Date: Fri, 20 Oct 2023 12:51:01 -0400 Subject: [PATCH] fix production build --- src/Makefile | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/Makefile b/src/Makefile index f22c205..fe566e2 100644 --- a/src/Makefile +++ b/src/Makefile @@ -1,10 +1,12 @@ .PHONY: format lint build build-release build-docker run debug -build: +build-supplemental: cd ./build && ./version.sh && python3 ./error_gen.py + +build: build-supplemental g++ main.cpp --std=c++20 -g -o ./anthracite -build-release: +build-release: build-supplemental g++ main.cpp --std=c++20 -O3 -march=native -o ./anthracite build-docker: