diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/Makefile b/Makefile index 4d46e935..833d81a0 100644 --- a/Makefile +++ b/Makefile @@ -1,11 +1,23 @@ +DEPS_BUILD_DIR=.deps +DEPS_SOURCE_DIR=deps debug: @cmake -H. -GNinja -Bbuild -DCMAKE_BUILD_TYPE=Debug -DCMAKE_EXPORT_COMPILE_COMMANDS=1 @cmake --build build +third_party: + @mkdir -p ${DEPS_BUILD_DIR}/usr/{lib,include}/ + @cmake -GNinja -H${DEPS_SOURCE_DIR} -B${DEPS_BUILD_DIR} \ + -DCMAKE_BUILD_TYPE=Release \ + -DUSE_BUNDLED_BOOST=OFF + @cmake --build ${DEPS_BUILD_DIR} + ci: - @cmake -H. -GNinja -Bbuild -DCMAKE_BUILD_TYPE=RelWithDebInfo - @cmake --build build + mkdir -p ${DEPS_BUILD_DIR}/usr/{lib,include}/ + cmake -H${DEPS_SOURCE_DIR} -B${DEPS_BUILD_DIR} -DCMAKE_BUILD_TYPE=Release + cmake --build ${DEPS_BUILD_DIR} + cmake -H. -Bbuild -DCMAKE_BUILD_TYPE=RelWithDebInfo + cmake --build build release: @cmake -H. -Bbuild -DCMAKE_BUILD_TYPE=RelWithDebInfo |