Index: third_party/libmicrohttpd/build.py |
diff --git a/third_party/libmicrohttpd/build.py b/third_party/libmicrohttpd/build.py |
new file mode 100644 |
index 0000000000000000000000000000000000000000..cafcbeac88a692d1b81ea08f95c505b7fbd91e8f |
--- /dev/null |
+++ b/third_party/libmicrohttpd/build.py |
@@ -0,0 +1,34 @@ |
+# Copyright 2016 Google Inc. |
+# |
+# Use of this source code is governed by a BSD-style license that can be |
+# found in the LICENSE file. |
+ |
+# this script will configure and build microhttpd in a temp directory and then |
+# copy the static library generated to a destination folder |
+import argparse |
+import os |
+from subprocess import call |
+import shutil |
+import tempfile |
+ |
+parser = argparse.ArgumentParser() |
+parser.add_argument("--src", help="microhttpd src directory") |
+parser.add_argument("--dst", help="output for build files") |
+args = parser.parse_args() |
+ |
+temp_dir = tempfile.mkdtemp() |
+cwd = os.getcwd() |
+os.chdir(temp_dir) |
+call([cwd + "/" + args.src + "/configure", |
+ "--disable-doc", |
+ "--disable-examples", |
+ "--enable-https=no", |
+ "--disable-curl", |
+ "--enable-spdy=no", |
+ "--enable-shared=no"]) |
+call(["make", "--silent"]) |
+call(["cp", |
+ temp_dir + "/src/microhttpd/.libs/libmicrohttpd.a", |
+ cwd + "/" + args.dst]) |
+shutil.rmtree(temp_dir) |
+ |