diff options
| -rwxr-xr-x | Makefile | 34 | ||||
| -rwxr-xr-x | gen | 27 |
2 files changed, 34 insertions, 27 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 + + @@ -1,27 +0,0 @@ -#!/bin/sh - -# -# out of source build of MusE -# all generated files go into subdirectory "build" -# - -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 - |