diff options
| -rw-r--r-- | pow/Makefile.in | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/pow/Makefile.in b/pow/Makefile.in index 6cf29b76..d120b037 100644 --- a/pow/Makefile.in +++ b/pow/Makefile.in @@ -8,14 +8,16 @@ PYTHON = @PYTHON@ abs_top_srcdir = @abs_top_srcdir@ abs_top_builddir = @abs_top_builddir@ -all: POW/_POW.so +TARGET = ../rpkid/rpki/POW/_POW.so -POW/_POW.so: POW.c +all: ${TARGET} + +${TARGET}: POW.c AC_CFLAGS='${CFLAGS}' AC_LDFLAGS='${LDFLAGS}' AC_LIBS='${LIBS}' ${PYTHON} build.py rm -f *.o clean: - rm -f *.o ../rpkid/rpki/POW/_POW.so + rm -f *.o ${TARGET} install: @echo Not attempting to install modified POW, if you want that, do it yourself |