diff --git a/develop/cloog-ppl/cloog-ppl.conf b/develop/cloog-ppl/cloog-ppl.conf
new file mode 100644
index 000000000..bd90622b1
--- /dev/null
+++ b/develop/cloog-ppl/cloog-ppl.conf
@@ -0,0 +1,22 @@
+# --- SDE-COPYRIGHT-NOTE-BEGIN ---
+# This copyright note is auto-generated by ./scripts/Create-CopyPatch.
+#
+# Filename: package/.../cloog-ppl/cloog-ppl.conf
+# Copyright (C) 2009 The OpenSDE Project
+#
+# More information can be found in the files COPYING and README.
+#
+# This program is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; version 2 of the License. A copy of the
+# GNU General Public License can be found in the file COPYING.
+# --- SDE-COPYRIGHT-NOTE-END ---
+
+if atstage toolchain; then
+	var_append extraconfopt ' ' '--with-ppl=$root'
+	var_append extraconfopt ' ' '--with-gmp=$root'
+else
+	var_append extraconfopt ' ' '--with-ppl'
+fi
+
+var_append confopt ' ' '--enable-shared --with-bits=gmp'