Merge commit 'f8dd96543542220181c76afb8c084f4908213fb5' as 'third_party/mason'

2016-12-15 10:31:15 +00:00
parent 48d4e91d98 f8dd965435
commit 6e29f9889b
796 changed files with 30230 additions and 0 deletions
@@ -0,0 +1,8 @@
+language: cpp
+sudo: false
+
+script:
+- ./mason build ${MASON_NAME} ${MASON_VERSION}
+
+after_success:
+- ./mason publish ${MASON_NAME} ${MASON_VERSION}
@@ -0,0 +1,35 @@
+#!/usr/bin/env bash
+
+MASON_NAME=unique_resource
+MASON_VERSION=dev
+MASON_HEADER_ONLY=true
+
+GIT_HASH="cba309e92ec79a95be2aa5a324a688a06af8d40a"
+
+. ${MASON_DIR}/mason.sh
+
+function mason_load_source {
+    mason_download \
+        https://github.com/okdshin/${MASON_NAME}/archive/${GIT_HASH}.tar.gz \
+        1423b932d80d39250fd0c5715b165bb0efa63883
+
+    mason_extract_tar_gz
+
+    export MASON_BUILD_PATH=${MASON_ROOT}/.build/${MASON_NAME}-${GIT_HASH}
+}
+
+function mason_compile {
+    mkdir -p ${MASON_PREFIX}/include/
+    cp -r unique_resource.hpp ${MASON_PREFIX}/include/
+}
+
+function mason_cflags {
+    echo "-I${MASON_PREFIX}/include"
+}
+
+function mason_ldflags {
+    :
+}
+
+
+mason_run "$@"