Add debian target to Makefile

This commit is contained in:
2022-10-20 22:07:51 +02:00
parent 63b1ca5d6a
commit e7e1e7b18f

View File

@ -11,6 +11,8 @@ default: bin bin/lib bin/libsesimos.so bin/sesimos
prod: CFLAGS += -O3
prod: default
debug: default
debian: CFLAGS += $(DEBIAN_OPTS)
debian: prod
bin: