diff options
Diffstat (limited to 'Makefile')
| -rwxr-xr-x | Makefile | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100755 index 00000000..5366d696 --- /dev/null +++ b/Makefile @@ -0,0 +1,34 @@ +# +# +# +# + +default: + if test ! -d build; \ + then \ + echo "+creating build directory"; \ + mkdir build; \ + echo "+entering build directory"; \ + cd build; \ + # HACK: \ + cp ../muse/all.h . ; \ + echo "+calling cmake" ; \ + cmake ../muse ; \ + else \ + echo "+entering build directory"; \ + cd build; \ + fi; \ + echo "+start top level make..."; \ + make -f Makefile + + +clean: + -rm -rf build + +dist: + cd build; make package_source + +package: + cd build; make package + + |