* Add support for "-k pok"

9a82469c · yoogx · 4d78920e · 9a82469c
Commit 9a82469c authored Apr 28, 2016 by yoogx
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 0 deletions

src/backends/ocarina-backends-pok_c.adb src/backends/ocarina-backends-pok_c.adb +3 -0

No files found.
--- a/src/backends/ocarina-backends-pok_c.adb
+++ b/src/backends/ocarina-backends-pok_c.adb
@@ -215,6 +215,9 @@ package body Ocarina.Backends.POK_C is
      elsif S = "vxworks653" then
         POK_Flavor := VXWORKS;

+      elsif S = "pok" then
+         POK_Flavor := POK;
+
      elsif S = "no-assert" then
         Add_Assertions := False;
      else