diff options
| author | Baruch Sterin <baruchs@gmail.com> | 2015-11-05 01:23:35 -0800 |
|---|---|---|
| committer | Baruch Sterin <baruchs@gmail.com> | 2015-11-05 01:23:35 -0800 |
| commit | 0f14713dbc4e68f5b87e0cac99c44db97d58f666 (patch) | |
| tree | 94d59996ec18e2a9c71ab0307b0752a41a95a53d /Makefile | |
| parent | 0f4fc1caa2f281f03409789124f87cbd71e8fd9c (diff) | |
| download | abc-0f14713dbc4e68f5b87e0cac99c44db97d58f666.tar.gz abc-0f14713dbc4e68f5b87e0cac99c44db97d58f666.tar.bz2 abc-0f14713dbc4e68f5b87e0cac99c44db97d58f666.zip | |
CMakeLists.txt, Makefile: pass readline flags from the CMake lists file to the Makefile.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 10 |
1 files changed, 10 insertions, 0 deletions
@@ -64,6 +64,16 @@ ifndef ABC_USE_NO_CUDD $(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) + $(info $(MSG_PREFIX)Using libreadline) +endif + # whether to use libreadline ifndef ABC_USE_NO_READLINE CFLAGS += -DABC_USE_READLINE |