|
@@ -1,5 +1,11 @@ |
|
|
#!/usr/bin/env sh |
|
|
#!/usr/bin/env sh |
|
|
|
|
|
|
|
|
|
|
|
if [ "$BUILD_TYPE" = "" ] |
|
|
|
|
|
then |
|
|
|
|
|
echo "No build type specified. Try Debug or Release." |
|
|
|
|
|
exit |
|
|
|
|
|
fi |
|
|
|
|
|
|
|
|
cmake \ |
|
|
cmake \ |
|
|
-DCMAKE_SIZEOF_VOID_P=8 \ |
|
|
-DCMAKE_SIZEOF_VOID_P=8 \ |
|
|
-DCMAKE_BUILD_TYPE=$BUILD_TYPE \ |
|
|
-DCMAKE_BUILD_TYPE=$BUILD_TYPE \ |