diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..5ae722c --- /dev/null +++ b/Makefile @@ -0,0 +1,18 @@ +# makefile to compile System_Log into a shared library +# Copyright 2013 B. Persson, Bjorn@Rombobeorn.se +# +# This makefile is free software: you can redistribute it and/or modify it +# under the terms of the GNU General Public License version 3, as published +# by the Free Software Foundation. + + +include comfignat.mk + +build_GPRs = build_system_log.gpr +usage_GPRs = system_log.gpr + +test: build build_test_system_log.gpr + ${build_GPR} + +clean:: + rm -f test_system_log |