diff --git a/.compilation-options b/.compilation-options
new file mode 100644
index 0000000..9c7aafe
--- /dev/null
+++ b/.compilation-options
@@ -0,0 +1 @@
+ARCH=any