diff options
Diffstat (limited to 'openocd/Makefile')
| -rw-r--r-- | openocd/Makefile | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/openocd/Makefile b/openocd/Makefile new file mode 100644 index 0000000..7c422cf --- /dev/null +++ b/openocd/Makefile @@ -0,0 +1,27 @@ +P=${PWD}/prefix/ +S=$P/src/openocd + +$P/bin/openocd:$S/installed.stamp + +$S/installed.stamp: $S/built.stamp + ${MAKE} -C $S install + +$S/built.stamp:$S/configured.stamp + ${MAKE} -C $S + +$S/configured.stamp:$S/configure + (cd $S && ./configure --prefix=$P) + +$S/configure:$S/configure.ac + (cd $S && ./bootstrap) + +$S/configure.ac: + /bin/rm -rf $S + mkdir -p $P + git clone --depth 1 ssh://git@git.panaceas.org/git/hp_instruments/openocd $S + + +clean: + /bin/rm -rf $P + +.PRECIOUS: |