1 files changed, 12 insertions, 0 deletions
diff --git a/example.gpr b/example.gpr
new file mode 100644
index 000000000000..bd61316bda2a
--- /dev/null
+++ b/example.gpr
@@ -0,0 +1,12 @@
+with "ini_file_manager";
+project Example is
+
+   for Exec_Dir use "/tmp";
+   for Object_Dir use "/tmp";
+   for Main use ("test_config.adb");
+
+   package Compiler is
+      for Default_Switches ("ada") use ("-O2", "-gnat05");
+   end Compiler;
+
+end Example;