From 4a46690990e16490d269031d316f8b8a9bccb052 Mon Sep 17 00:00:00 2001
From: amai <amai@users.sf.net>
Date: Wed, 21 Feb 2018 20:11:59 +0100
Subject: [PATCH] Add platform files for Cray SV1: example platform featuring
 sizeof int>4

---
 platforms/cray_sv1.xml | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 platforms/cray_sv1.xml

diff --git a/platforms/cray_sv1.xml b/platforms/cray_sv1.xml
new file mode 100644
index 000000000..478f4afaf
--- /dev/null
+++ b/platforms/cray_sv1.xml
@@ -0,0 +1,17 @@
+<?xml version="1.0"?>
+<platform>
+  <char_bit>8</char_bit>
+  <default-sign>unsigned</default-sign>
+  <sizeof>
+    <short>2</short>
+    <int>8</int>
+    <long>8</long>
+    <long-long>8</long-long>
+    <float>8</float>
+    <double>8</double>
+    <long-double>16</long-double>
+    <pointer>8</pointer>
+    <size_t>8</size_t>
+    <wchar_t>8</wchar_t>
+  </sizeof>
+</platform>