* standard.ads.h: New file.

From-SVN: r271003

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 699ad4370b73069a364ad5eb6caf0d020203bec8..9116b923de5bc96623ba41fb76b2058b51eb25bf 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,7 @@
+2019-05-08  Arnaud Charlet  <charlet@adacore.com>
+
+       * standard.ads.h: New file.
+
 2019-05-07  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
 
        * gcc-interface/Makefile.in (install-gcc-specs): Use foreach.

diff --git a/gcc/ada/standard.ads.h b/gcc/ada/standard.ads.h
new file mode 100644 (file)
index 0000000..36e89a9
--- /dev/null
+++ b/gcc/ada/standard.ads.h
@@ -0,0 +1,84 @@
+/****************************************************************************
+ *                                                                          *
+ *                         GNAT COMPILER COMPONENTS                         *
+ *                                                                          *
+ *                             S T A N D A R D                              *
+ *                                                                          *
+ *                              C Header File                               *
+ *                                                                          *
+ *                       Copyright (C) 2015, AdaCore                        *
+ *                                                                          *
+ * GNAT is free software;  you can  redistribute it  and/or modify it under *
+ * terms of the  GNU General Public License as published  by the Free Soft- *
+ * ware  Foundation;  either version 3,  or (at your option) any later ver- *
+ * sion.  GNAT is distributed in the hope that it will be useful, but WITH- *
+ * OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY *
+ * or FITNESS FOR A PARTICULAR PURPOSE.                                     *
+ *                                                                          *
+ * As a special exception under Section 7 of GPL version 3, you are granted *
+ * additional permissions described in the GCC Runtime Library Exception,   *
+ * version 3.1, as published by the Free Software Foundation.               *
+ *                                                                          *
+ * You should have received a copy of the GNU General Public License and    *
+ * a copy of the GCC Runtime Library Exception along with this program;     *
+ * see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see    *
+ * <http://www.gnu.org/licenses/>.                                          *
+ *                                                                          *
+ * GNAT was originally developed  by the GNAT team at  New York University. *
+ * Extensive contributions were provided by Ada Core Technologies Inc.      *
+ *                                                                          *
+ ****************************************************************************/
+
+#ifndef STANDARD_ADS_H
+#define STANDARD_ADS_H
+
+#include <stdint.h>
+
+typedef unsigned char boolean;
+
+#ifndef false
+#define false 0
+#endif
+
+#ifndef true
+#define true 1
+#endif
+
+typedef uint8_t unsigned_8;
+typedef uint16_t unsigned_16;
+typedef uint32_t unsigned_32;
+typedef uint64_t unsigned_64;
+
+typedef int8_t integer_8;
+typedef int16_t integer_16;
+typedef int32_t integer_32;
+typedef int64_t integer_64;
+
+typedef int integer;
+
+typedef int natural;
+typedef int positive;
+
+typedef signed char short_short_integer;
+typedef short short_integer;
+typedef long long_integer;
+typedef long long long_long_integer;
+typedef long long universal_integer;
+
+typedef float short_float;
+typedef double long_float;
+typedef long double long_long_float;
+typedef long double universal_real;
+
+typedef char character;
+typedef integer_16 wide_character;
+typedef integer_32 wide_wide_character;
+
+typedef character *access_character;
+typedef character *string;
+typedef wide_character *wide_string;
+typedef wide_wide_character *wide_wide_string;
+
+typedef integer_64 duration;
+
+#endif /* STANDARD_ADS_H */