diff options
| -rw-r--r-- | rpkid/Makefile.in | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/rpkid/Makefile.in b/rpkid/Makefile.in index 138e2690..8bb3c328 100644 --- a/rpkid/Makefile.in +++ b/rpkid/Makefile.in @@ -40,12 +40,17 @@ SETUP_PY_ROOT = `${PYTHON} -c 'import sys; print "--root " + sys.argv[1] if sys. POW_SO = rpki/POW/_POW.so -all:: rpki/autoconf.py ${POW_SO} rpki/relaxng.py myrpki.rng rpki/sql_schemas.py +all:: rpki/autoconf.py setup_autoconf.py rpki/relaxng.py myrpki.rng rpki/sql_schemas.py ${POW_SO} build/stamp -${POW_SO}: ext/POW.c setup.py setup_autoconf.py - ${PYTHON} setup.py build_ext +.FORCE: + +${POW_SO}: .FORCE setup_autoconf.py ${PYTHON} setup.py build_ext --inplace +build/stamp: .FORCE setup_autoconf.py + ${PYTHON} setup.py build + touch $@ + clean:: rm -rf ${POW_SO} build dist |