aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
diff options
context:
space:
mode:
authorIan Lance Taylor <ian@gcc.gnu.org>2019-05-09 20:12:09 +0000
committerIan Lance Taylor <ian@gcc.gnu.org>2019-05-09 20:12:09 +0000
commit133d3bd8362f0c438017ca18adb51afb7288f78b (patch)
treeea10f6811c6c34a39dc86a7d21b2652dbd18fc65 /gcc/ada
parentb8754cd88a24097bdc0c018ea480e6f726f6baa7 (diff)
parent41a4d47581db409213d887c41dd914165b802419 (diff)
downloadgcc-133d3bd8362f0c438017ca18adb51afb7288f78b.zip
gcc-133d3bd8362f0c438017ca18adb51afb7288f78b.tar.gz
gcc-133d3bd8362f0c438017ca18adb51afb7288f78b.tar.bz2
Merge from trunk revision 271040.
From-SVN: r271043
Diffstat (limited to 'gcc/ada')
-rw-r--r--gcc/ada/ChangeLog9
-rw-r--r--gcc/ada/gcc-interface/Makefile.in5
-rw-r--r--gcc/ada/standard.ads.h84
3 files changed, 95 insertions, 3 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 6c8a13b..9116b92 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,12 @@
+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.
+ Honor DESTDIR.
+
2019-04-29 Michael K. Darling <darlingm@gmail.com>
* gnatvsn.ads: Bump Library_Version to 10.
diff --git a/gcc/ada/gcc-interface/Makefile.in b/gcc/ada/gcc-interface/Makefile.in
index 4e74252..a0a5bb2 100644
--- a/gcc/ada/gcc-interface/Makefile.in
+++ b/gcc/ada/gcc-interface/Makefile.in
@@ -505,9 +505,8 @@ gnatlink-re: ../stamp-tools gnatmake-re
install-gcc-specs:
# Install all the requested GCC spec files.
- for f in $(GCC_SPEC_FILES); do \
- $(INSTALL_DATA_DATE) $(srcdir)/ada/$$f $(libsubdir)/; \
- done
+ $(foreach f,$(GCC_SPEC_FILES), \
+ $(INSTALL_DATA_DATE) $(srcdir)/ada/$(f) $(DESTDIR)$(libsubdir)/;)
install-gnatlib: ../stamp-gnatlib-$(RTSDIR) install-gcc-specs
$(RMDIR) $(DESTDIR)$(ADA_RTL_OBJ_DIR)
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 */