From d63ad1a51728b3ac7c8f14583e535c0811f48e78 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Sun, 13 Sep 2015 09:28:24 +0000
Subject: [PATCH]

---
 .../petsc_reconfigure_iossimulator_real.py    | 22 +++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100755 contrib/mobile/utils/petsc_reconfigure_iossimulator_real.py

diff --git a/contrib/mobile/utils/petsc_reconfigure_iossimulator_real.py b/contrib/mobile/utils/petsc_reconfigure_iossimulator_real.py
new file mode 100755
index 0000000000..abc65c6b64
--- /dev/null
+++ b/contrib/mobile/utils/petsc_reconfigure_iossimulator_real.py
@@ -0,0 +1,22 @@
+#!/Users/geuzaine/anaconda/bin/python
+if __name__ == '__main__':
+  import sys
+  import os
+  sys.path.insert(0, os.path.abspath('config'))
+  import configure
+  configure_options = [
+    '--CC=gcc',
+    '--CFLAGS=-m32 -DPETSC_BLASLAPACK_UNDERSCORE',
+    '--CXX=g++',
+    '--CXXFLAGS=-m32 -DPETSC_BLASLAPACK_UNDERSCORE',
+    '--with-clanguage=cxx',
+    '--with-debugging=0',
+    '--with-fc=0',
+    '--with-ios=1',
+    '--with-mpi=0',
+    '--with-shared-libraries=0',
+    '--with-ssl=0',
+    '--with-x=0',
+    'PETSC_ARCH=iossimulator_real',
+  ]
+  configure.petsc_configure(configure_options)
-- 
GitLab