aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorArnaud Charlet <charlet@adacore.com>2019-05-08 09:57:15 +0000
committerArnaud Charlet <charlet@gcc.gnu.org>2019-05-08 11:57:15 +0200
commit1927f64070ce9331df16e4e2783c2f071778531f (patch)
tree714ffb0411f07a87f276449e5e846d6a6b730b83 /gcc
parentd486dbfbb30c7ae7ee7df65df9770af667789a47 (diff)
downloadgcc-1927f64070ce9331df16e4e2783c2f071778531f.zip
gcc-1927f64070ce9331df16e4e2783c2f071778531f.tar.gz
gcc-1927f64070ce9331df16e4e2783c2f071778531f.tar.bz2
* standard.ads.h: New file.
From-SVN: r271003
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ada/ChangeLog4
-rw-r--r--gcc/ada/standard.ads.h84
2 files changed, 88 insertions, 0 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 699ad43..9116b92 100644
--- 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
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 */