diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..28a9d56 --- /dev/null +++ b/Makefile @@ -0,0 +1,38 @@ +# Copyright (c) 2014 Justus Winter <4winter@informatik.uni-hamburg.de> +# +# Permission to use, copy, modify, and distribute this software for any +# purpose with or without fee is hereby granted, provided that the above +# copyright notice and this permission notice appear in all copies. +# +# THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES +# WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF +# MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR +# ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES +# WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN +# ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF +# OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. + +all: libportseal libpinniped + +.PHONY: libportseal +libportseal: + $(MAKE) -C "$@" + +.PHONY: libpinniped +libpinniped: + $(MAKE) -C "$@" + +.PHONY: check +check: all + rm -rf -- test-obj + cp -a test test-obj + (cd test-obj && ../bin/portseal patch) + $(MAKE) -C test-obj + bin/pinniped test-obj/test + (cd test-obj && ../bin/portseal unpatch) + +.PHONY: clean +clean: + $(MAKE) -C libportseal clean + $(MAKE) -C libpinniped clean + rm -rf -- test-obj |