--- lrslib-071/makefile.orig 2020-06-04 09:58:02.217703517 +0000 +++ lrslib-071/makefile 2020-06-04 09:59:20.505523290 +0000 @@ -32,10 +32,9 @@ #LIBDIR = /usr/lib #Kyoto machines usage -INCLUDEDIR = /usr/local/include -LIBDIR = /usr/local/lib +INCLUDEDIR = /usr/include +LIBDIR = /usr/lib -CFLAGS = -O3 -Wall #CFLAGS = -g -Wall #use this if you want only output file contain data between begin/end lines @@ -194,7 +193,7 @@ # Building (linking) the shared library, and relevant symlinks. ${SHLIB}: ${SHLIBOBJ} - $(CC) -shared -Wl,-soname=$(SONAME) $(SHLIBFLAGS) -o $@ ${SHLIBOBJ} -lgmp + $(CC) -shared -Wl,-soname=$(SONAME) $(SHLIBFLAGS) -o $@ ${SHLIBOBJ} -lgmp ${LDFLAGS} ${SONAME}: ${SHLIB} ln -sf ${SHLIB} ${SONAME} @@ -207,11 +206,11 @@ all-shared: ${SHLIBBIN} lrs-shared: ${SHLINK} lrs.o - $(CC) lrs.o -o $@ -L . -llrs + $(CC) lrs.o -o $@ -L . -llrs ${LDFLAGS} lrsnash-shared: ${SHLINK} lrsnash.c - $(CC) -DGMP -DMA lrsnash.c lrsnashlib.c -I${INCLUDEDIR} -o $@ -L . -llrs -lgmp + $(CC) -DGMP -DMA lrsnash.c lrsnashlib.c -I${INCLUDEDIR} -o $@ -L . -llrs -lgmp ${LDFLAGS} # build object files for the shared library