https://github.com/audemard/glucose
Tip revision: 084d7375975408a06a1397cc4bc645a73b97fa65 authored by audemard on 09 May 2023, 13:19:52 UTC
Glucose 4.2.1
Glucose 4.2.1
Tip revision: 084d737
config.mk
##
## This file is for system specific configurations. For instance, on
## some systems the path to zlib needs to be added. Example:
##
## CFLAGS += -I/usr/local/include
## LFLAGS += -L/usr/local/lib
