Makefile.in: Add make ifeq define for mips/mipsel support.
2008-04-07 Aurelien Jarno <aurelien@aurel32.net>
Xavier Grave <grave@ipno.in2p3.fr>
* Makefile.in: Add make ifeq define for mips/mipsel support.
* g-soccon-linux-mips.ads, system-linux-mipsel.ads,
system-linux-mips.ads: New files.
Co-Authored-By: Xavier Grave <grave@ipno.in2p3.fr>
From-SVN: r133986
This commit is contained in:
Aurelien Jarno
Matthias Klose
parent
46b71b0354
commit
d8ec5bf231
|
|
@ -1,3 +1,10 @@
|
|||
2008-04-07 Aurelien Jarno <aurelien@aurel32.net>
|
||||
Xavier Grave <grave@ipno.in2p3.fr>
|
||||
|
||||
* Makefile.in: Add make ifeq define for mips/mipsel support.
|
||||
* g-soccon-linux-mips.ads, system-linux-mipsel.ads,
|
||||
system-linux-mips.ads: New files.
|
||||
|
||||
2008-04-07 Aurelien Jarno <aurelien@aurel32.net>
|
||||
|
||||
* sysdep.c: add __GLIBC__ to the #ifdef preprocessor macros to
|
||||
|
|
|
|||
|
|
@ -1365,6 +1365,54 @@ ifeq ($(strip $(filter-out cygwin32% mingw32% pe,$(osys))),)
|
|||
LIBRARY_VERSION := $(LIB_VERSION)
|
||||
endif
|
||||
|
||||
ifeq ($(strip $(filter-out mips linux%,$(arch) $(osys))),)
|
||||
LIBGNAT_TARGET_PAIRS = \
|
||||
a-intnam.ads<a-intnam-linux.ads \
|
||||
g-soccon.ads<g-soccon-linux-mips.ads \
|
||||
s-inmaop.adb<s-inmaop-posix.adb \
|
||||
s-intman.adb<s-intman-posix.adb \
|
||||
s-osinte.adb<s-osinte-posix.adb \
|
||||
s-osinte.ads<s-osinte-linux.ads \
|
||||
s-osprim.adb<s-osprim-posix.adb \
|
||||
s-taprop.adb<s-taprop-linux.adb \
|
||||
s-tasinf.ads<s-tasinf-linux.ads \
|
||||
s-tasinf.adb<s-tasinf-linux.adb \
|
||||
s-taspri.ads<s-taspri-posix.ads \
|
||||
s-tpopsp.adb<s-tpopsp-posix-foreign.adb \
|
||||
system.ads<system-linux-mips.ads
|
||||
|
||||
EH_MECHANISM=-gcc
|
||||
THREADSLIB = -lpthread
|
||||
GNATLIB_SHARED = gnatlib-shared-dual
|
||||
GMEM_LIB = gmemlib
|
||||
PREFIX_OBJS = $(PREFIX_REAL_OBJS)
|
||||
LIBRARY_VERSION := $(LIB_VERSION)
|
||||
endif
|
||||
|
||||
ifeq ($(strip $(filter-out mipsel linux%,$(arch) $(osys))),)
|
||||
LIBGNAT_TARGET_PAIRS = \
|
||||
a-intnam.ads<a-intnam-linux.ads \
|
||||
g-soccon.ads<g-soccon-linux-mips.ads \
|
||||
s-inmaop.adb<s-inmaop-posix.adb \
|
||||
s-intman.adb<s-intman-posix.adb \
|
||||
s-osinte.adb<s-osinte-posix.adb \
|
||||
s-osinte.ads<s-osinte-linux.ads \
|
||||
s-osprim.adb<s-osprim-posix.adb \
|
||||
s-taprop.adb<s-taprop-linux.adb \
|
||||
s-tasinf.ads<s-tasinf-linux.ads \
|
||||
s-tasinf.adb<s-tasinf-linux.adb \
|
||||
s-taspri.ads<s-taspri-posix.ads \
|
||||
s-tpopsp.adb<s-tpopsp-posix-foreign.adb \
|
||||
system.ads<system-linux-mipsel.ads
|
||||
|
||||
EH_MECHANISM=-gcc
|
||||
THREADSLIB = -lpthread
|
||||
GNATLIB_SHARED = gnatlib-shared-dual
|
||||
GMEM_LIB = gmemlib
|
||||
PREFIX_OBJS = $(PREFIX_REAL_OBJS)
|
||||
LIBRARY_VERSION := $(LIB_VERSION)
|
||||
endif
|
||||
|
||||
ifeq ($(strip $(filter-out powerpc% linux%,$(arch) $(osys))),)
|
||||
LIBGNAT_TARGET_PAIRS = \
|
||||
a-intnam.ads<a-intnam-linux.ads \
|
||||
|
|
|
|||
|
|
@ -0,0 +1,197 @@
|
|||
------------------------------------------------------------------------------
|
||||
-- --
|
||||
-- GNAT COMPILER COMPONENTS --
|
||||
-- --
|
||||
-- G N A T . S O C K E T S . C O N S T A N T S --
|
||||
-- --
|
||||
-- S p e c --
|
||||
-- --
|
||||
-- Copyright (C) 2000-2005, Free Software Foundation, Inc. --
|
||||
-- --
|
||||
-- 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 2, 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. See the GNU General Public License --
|
||||
-- for more details. You should have received a copy of the GNU General --
|
||||
-- Public License distributed with GNAT; see file COPYING. If not, write --
|
||||
-- to the Free Software Foundation, 51 Franklin Street, Fifth Floor, --
|
||||
-- Boston, MA 02110-1301, USA. --
|
||||
-- --
|
||||
-- As a special exception, if other files instantiate generics from this --
|
||||
-- unit, or you link this unit with other files to produce an executable, --
|
||||
-- this unit does not by itself cause the resulting executable to be --
|
||||
-- covered by the GNU General Public License. This exception does not --
|
||||
-- however invalidate any other reasons why the executable file might be --
|
||||
-- covered by the GNU Public License. --
|
||||
-- --
|
||||
-- GNAT was originally developed by the GNAT team at New York University. --
|
||||
-- Extensive contributions were provided by Ada Core Technologies Inc. --
|
||||
-- --
|
||||
------------------------------------------------------------------------------
|
||||
|
||||
-- This package provides target dependent definitions of constant for use
|
||||
-- by the GNAT.Sockets package (g-socket.ads). This package should not be
|
||||
-- directly with'ed by an applications program.
|
||||
|
||||
-- This is the version for mips-linux, manually edited for the first shot
|
||||
-- no mips hardware at hand
|
||||
-- using http://www.gelato.unsw.edu.au/lxr/source/include/asm-mips/socket.h
|
||||
-- in order to find differents values
|
||||
-- This file is generated automatically, do not modify it by hand! Instead,
|
||||
-- make changes to gen-soccon.c and re-run it on each target.
|
||||
|
||||
package GNAT.Sockets.Constants is
|
||||
|
||||
--------------
|
||||
-- Families --
|
||||
--------------
|
||||
|
||||
AF_INET : constant := 2; -- IPv4 address family
|
||||
AF_INET6 : constant := 10; -- IPv6 address family
|
||||
|
||||
-----------
|
||||
-- Modes --
|
||||
-----------
|
||||
|
||||
SOCK_STREAM : constant := 1; -- Stream socket
|
||||
SOCK_DGRAM : constant := 2; -- Datagram socket
|
||||
|
||||
-------------------
|
||||
-- Socket errors --
|
||||
-------------------
|
||||
|
||||
EACCES : constant := 13; -- Permission denied
|
||||
EADDRINUSE : constant := 98; -- Address already in use
|
||||
EADDRNOTAVAIL : constant := 99; -- Cannot assign address
|
||||
EAFNOSUPPORT : constant := 97; -- Addr family not supported
|
||||
EALREADY : constant := 114; -- Operation in progress
|
||||
EBADF : constant := 9; -- Bad file descriptor
|
||||
ECONNABORTED : constant := 103; -- Connection aborted
|
||||
ECONNREFUSED : constant := 111; -- Connection refused
|
||||
ECONNRESET : constant := 104; -- Connection reset by peer
|
||||
EDESTADDRREQ : constant := 89; -- Destination addr required
|
||||
EFAULT : constant := 14; -- Bad address
|
||||
EHOSTDOWN : constant := 112; -- Host is down
|
||||
EHOSTUNREACH : constant := 113; -- No route to host
|
||||
EINPROGRESS : constant := 115; -- Operation now in progress
|
||||
EINTR : constant := 4; -- Interrupted system call
|
||||
EINVAL : constant := 22; -- Invalid argument
|
||||
EIO : constant := 5; -- Input output error
|
||||
EISCONN : constant := 106; -- Socket already connected
|
||||
ELOOP : constant := 40; -- Too many symbolic lynks
|
||||
EMFILE : constant := 24; -- Too many open files
|
||||
EMSGSIZE : constant := 90; -- Message too long
|
||||
ENAMETOOLONG : constant := 36; -- Name too long
|
||||
ENETDOWN : constant := 100; -- Network is down
|
||||
ENETRESET : constant := 102; -- Disconn. on network reset
|
||||
ENETUNREACH : constant := 101; -- Network is unreachable
|
||||
ENOBUFS : constant := 105; -- No buffer space available
|
||||
ENOPROTOOPT : constant := 92; -- Protocol not available
|
||||
ENOTCONN : constant := 107; -- Socket not connected
|
||||
ENOTSOCK : constant := 88; -- Operation on non socket
|
||||
EOPNOTSUPP : constant := 95; -- Operation not supported
|
||||
EPFNOSUPPORT : constant := 96; -- Unknown protocol family
|
||||
EPROTONOSUPPORT : constant := 93; -- Unknown protocol
|
||||
EPROTOTYPE : constant := 91; -- Unknown protocol type
|
||||
ESHUTDOWN : constant := 108; -- Cannot send once shutdown
|
||||
ESOCKTNOSUPPORT : constant := 94; -- Socket type not supported
|
||||
ETIMEDOUT : constant := 110; -- Connection timed out
|
||||
ETOOMANYREFS : constant := 109; -- Too many references
|
||||
EWOULDBLOCK : constant := 11; -- Operation would block
|
||||
|
||||
-----------------
|
||||
-- Host errors --
|
||||
-----------------
|
||||
|
||||
HOST_NOT_FOUND : constant := 1; -- Unknown host
|
||||
TRY_AGAIN : constant := 2; -- Host name lookup failure
|
||||
NO_DATA : constant := 4; -- No data record for name
|
||||
NO_RECOVERY : constant := 3; -- Non recoverable errors
|
||||
|
||||
-------------------
|
||||
-- Control flags --
|
||||
-------------------
|
||||
|
||||
FIONBIO : constant := 16#667e#; -- Set/clear non-blocking io
|
||||
FIONREAD : constant := 16#467f#; -- How many bytes to read
|
||||
|
||||
--------------------
|
||||
-- Shutdown modes --
|
||||
--------------------
|
||||
|
||||
SHUT_RD : constant := 0; -- No more recv
|
||||
SHUT_WR : constant := 1; -- No more send
|
||||
SHUT_RDWR : constant := 2; -- No more recv/send
|
||||
|
||||
---------------------
|
||||
-- Protocol levels --
|
||||
---------------------
|
||||
|
||||
SOL_SOCKET : constant := 1; -- Options for socket level
|
||||
IPPROTO_IP : constant := 0; -- Dummy protocol for IP
|
||||
IPPROTO_UDP : constant := 17; -- UDP
|
||||
IPPROTO_TCP : constant := 6; -- TCP
|
||||
|
||||
-------------------
|
||||
-- Request flags --
|
||||
-------------------
|
||||
|
||||
MSG_OOB : constant := 1; -- Process out-of-band data
|
||||
MSG_PEEK : constant := 2; -- Peek at incoming data
|
||||
MSG_EOR : constant := 128; -- Send end of record
|
||||
MSG_WAITALL : constant := 256; -- Wait for full reception
|
||||
MSG_NOSIGNAL : constant := 16384; -- No SIGPIPE on send
|
||||
MSG_Forced_Flags : constant := MSG_NOSIGNAL;
|
||||
-- Flags set on all send(2) calls
|
||||
|
||||
--------------------
|
||||
-- Socket options --
|
||||
--------------------
|
||||
|
||||
TCP_NODELAY : constant := 1; -- Do not coalesce packets
|
||||
SO_REUSEADDR : constant := 4; -- Bind reuse local address
|
||||
SO_KEEPALIVE : constant := 8; -- Enable keep-alive msgs
|
||||
SO_LINGER : constant := 16#80#; -- Defer close to flush data
|
||||
SO_BROADCAST : constant := 16#20#; -- Can send broadcast msgs
|
||||
SO_SNDBUF : constant := 16#1001#; -- Set/get send buffer size
|
||||
SO_RCVBUF : constant := 16#1002#; -- Set/get recv buffer size
|
||||
SO_SNDTIMEO : constant := 16#1005#; -- Emission timeout
|
||||
SO_RCVTIMEO : constant := 16#1006#; -- Reception timeout
|
||||
SO_ERROR : constant := 16#1007#; -- Get/clear error status
|
||||
IP_MULTICAST_IF : constant := 32; -- Set/get mcast interface
|
||||
IP_MULTICAST_TTL : constant := 33; -- Set/get multicast TTL
|
||||
IP_MULTICAST_LOOP : constant := 34; -- Set/get mcast loopback
|
||||
IP_ADD_MEMBERSHIP : constant := 35; -- Join a multicast group
|
||||
IP_DROP_MEMBERSHIP : constant := 36; -- Leave a multicast group
|
||||
|
||||
-------------------
|
||||
-- System limits --
|
||||
-------------------
|
||||
|
||||
IOV_MAX : constant := 2147483647; -- Maximum writev iovcnt
|
||||
|
||||
----------------------
|
||||
-- Type definitions --
|
||||
----------------------
|
||||
|
||||
-- Sizes (in bytes) of the components of struct timeval
|
||||
|
||||
SIZEOF_tv_sec : constant := 4; -- tv_sec
|
||||
SIZEOF_tv_usec : constant := 4; -- tv_usec
|
||||
|
||||
----------------------------------------
|
||||
-- Properties of supported interfaces --
|
||||
----------------------------------------
|
||||
|
||||
Need_Netdb_Buffer : constant := 1; -- Need buffer for Netdb ops
|
||||
|
||||
----------------------
|
||||
-- Additional flags --
|
||||
----------------------
|
||||
|
||||
Thread_Blocking_IO : constant Boolean := True;
|
||||
-- Set False for contexts where socket i/o are process blocking
|
||||
|
||||
end GNAT.Sockets.Constants;
|
||||
|
|
@ -0,0 +1,154 @@
|
|||
------------------------------------------------------------------------------
|
||||
-- --
|
||||
-- GNAT RUN-TIME COMPONENTS --
|
||||
-- --
|
||||
-- S Y S T E M --
|
||||
-- --
|
||||
-- S p e c --
|
||||
-- (GNU-Linux/MIPS Version) --
|
||||
-- --
|
||||
-- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
|
||||
-- --
|
||||
-- This specification is derived from the Ada Reference Manual for use with --
|
||||
-- GNAT. The copyright notice above, and the license provisions that follow --
|
||||
-- apply solely to the contents of the part following the private keyword. --
|
||||
-- --
|
||||
-- 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 2, 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. See the GNU General Public License --
|
||||
-- for more details. You should have received a copy of the GNU General --
|
||||
-- Public License distributed with GNAT; see file COPYING. If not, write --
|
||||
-- to the Free Software Foundation, 51 Franklin Street, Fifth Floor, --
|
||||
-- Boston, MA 02110-1301, USA. --
|
||||
-- --
|
||||
-- As a special exception, if other files instantiate generics from this --
|
||||
-- unit, or you link this unit with other files to produce an executable, --
|
||||
-- this unit does not by itself cause the resulting executable to be --
|
||||
-- covered by the GNU General Public License. This exception does not --
|
||||
-- however invalidate any other reasons why the executable file might be --
|
||||
-- covered by the GNU Public License. --
|
||||
-- --
|
||||
-- GNAT was originally developed by the GNAT team at New York University. --
|
||||
-- Extensive contributions were provided by Ada Core Technologies Inc. --
|
||||
-- --
|
||||
------------------------------------------------------------------------------
|
||||
|
||||
package System is
|
||||
pragma Pure;
|
||||
-- Note that we take advantage of the implementation permission to make
|
||||
-- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada
|
||||
-- 2005, this is Pure in any case (AI-362).
|
||||
|
||||
type Name is (SYSTEM_NAME_GNAT);
|
||||
System_Name : constant Name := SYSTEM_NAME_GNAT;
|
||||
|
||||
-- System-Dependent Named Numbers
|
||||
|
||||
Min_Int : constant := Long_Long_Integer'First;
|
||||
Max_Int : constant := Long_Long_Integer'Last;
|
||||
|
||||
Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
|
||||
Max_Nonbinary_Modulus : constant := Integer'Last;
|
||||
|
||||
Max_Base_Digits : constant := Long_Long_Float'Digits;
|
||||
Max_Digits : constant := Long_Long_Float'Digits;
|
||||
|
||||
Max_Mantissa : constant := 63;
|
||||
Fine_Delta : constant := 2.0 ** (-Max_Mantissa);
|
||||
|
||||
Tick : constant := 0.000_001;
|
||||
|
||||
-- Storage-related Declarations
|
||||
|
||||
type Address is private;
|
||||
Null_Address : constant Address;
|
||||
|
||||
Storage_Unit : constant := 8;
|
||||
Word_Size : constant := 32;
|
||||
Memory_Size : constant := 2 ** 32;
|
||||
|
||||
-- Address comparison
|
||||
|
||||
function "<" (Left, Right : Address) return Boolean;
|
||||
function "<=" (Left, Right : Address) return Boolean;
|
||||
function ">" (Left, Right : Address) return Boolean;
|
||||
function ">=" (Left, Right : Address) return Boolean;
|
||||
function "=" (Left, Right : Address) return Boolean;
|
||||
|
||||
pragma Import (Intrinsic, "<");
|
||||
pragma Import (Intrinsic, "<=");
|
||||
pragma Import (Intrinsic, ">");
|
||||
pragma Import (Intrinsic, ">=");
|
||||
pragma Import (Intrinsic, "=");
|
||||
|
||||
-- Other System-Dependent Declarations
|
||||
|
||||
type Bit_Order is (High_Order_First, Low_Order_First);
|
||||
Default_Bit_Order : constant Bit_Order := High_Order_First;
|
||||
pragma Warnings (Off, Default_Bit_Order); -- kill constant condition warning
|
||||
|
||||
-- Priority-related Declarations (RM D.1)
|
||||
|
||||
Max_Priority : constant Positive := 30;
|
||||
Max_Interrupt_Priority : constant Positive := 31;
|
||||
|
||||
subtype Any_Priority is Integer range 0 .. 31;
|
||||
subtype Priority is Any_Priority range 0 .. 30;
|
||||
subtype Interrupt_Priority is Any_Priority range 31 .. 31;
|
||||
|
||||
Default_Priority : constant Priority := 15;
|
||||
|
||||
private
|
||||
|
||||
type Address is mod Memory_Size;
|
||||
Null_Address : constant Address := 0;
|
||||
|
||||
--------------------------------------
|
||||
-- System Implementation Parameters --
|
||||
--------------------------------------
|
||||
|
||||
-- These parameters provide information about the target that is used
|
||||
-- by the compiler. They are in the private part of System, where they
|
||||
-- can be accessed using the special circuitry in the Targparm unit
|
||||
-- whose source should be consulted for more detailed descriptions
|
||||
-- of the individual switch values.
|
||||
|
||||
AAMP : constant Boolean := False;
|
||||
Backend_Divide_Checks : constant Boolean := False;
|
||||
Backend_Overflow_Checks : constant Boolean := False;
|
||||
Command_Line_Args : constant Boolean := True;
|
||||
Compiler_System_Version : constant Boolean := False;
|
||||
Configurable_Run_Time : constant Boolean := False;
|
||||
Denorm : constant Boolean := True;
|
||||
Duration_32_Bits : constant Boolean := False;
|
||||
Exit_Status_Supported : constant Boolean := True;
|
||||
Fractional_Fixed_Ops : constant Boolean := False;
|
||||
Frontend_Layout : constant Boolean := False;
|
||||
Functions_Return_By_DSP : constant Boolean := False;
|
||||
Machine_Overflows : constant Boolean := False;
|
||||
Machine_Rounds : constant Boolean := True;
|
||||
OpenVMS : constant Boolean := False;
|
||||
Preallocated_Stacks : constant Boolean := False;
|
||||
Signed_Zeros : constant Boolean := True;
|
||||
Stack_Check_Default : constant Boolean := False;
|
||||
Stack_Check_Probes : constant Boolean := False;
|
||||
Support_64_Bit_Divides : constant Boolean := True;
|
||||
Support_Aggregates : constant Boolean := True;
|
||||
Support_Composite_Assign : constant Boolean := True;
|
||||
Support_Composite_Compare : constant Boolean := True;
|
||||
Support_Long_Shifts : constant Boolean := True;
|
||||
Suppress_Standard_Library : constant Boolean := False;
|
||||
Use_Ada_Main_Program_Name : constant Boolean := False;
|
||||
ZCX_By_Default : constant Boolean := True;
|
||||
GCC_ZCX_Support : constant Boolean := True;
|
||||
Front_End_ZCX_Support : constant Boolean := False;
|
||||
|
||||
-- Obsolete entries, to be removed eventually (bootstrap issues!)
|
||||
|
||||
High_Integrity_Mode : constant Boolean := False;
|
||||
Long_Shifts_Inlined : constant Boolean := True;
|
||||
|
||||
end System;
|
||||
|
|
@ -0,0 +1,154 @@
|
|||
------------------------------------------------------------------------------
|
||||
-- --
|
||||
-- GNAT RUN-TIME COMPONENTS --
|
||||
-- --
|
||||
-- S Y S T E M --
|
||||
-- --
|
||||
-- S p e c --
|
||||
-- (GNU-Linux/MIPSEL Version) --
|
||||
-- --
|
||||
-- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
|
||||
-- --
|
||||
-- This specification is derived from the Ada Reference Manual for use with --
|
||||
-- GNAT. The copyright notice above, and the license provisions that follow --
|
||||
-- apply solely to the contents of the part following the private keyword. --
|
||||
-- --
|
||||
-- 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 2, 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. See the GNU General Public License --
|
||||
-- for more details. You should have received a copy of the GNU General --
|
||||
-- Public License distributed with GNAT; see file COPYING. If not, write --
|
||||
-- to the Free Software Foundation, 51 Franklin Street, Fifth Floor, --
|
||||
-- Boston, MA 02110-1301, USA. --
|
||||
-- --
|
||||
-- As a special exception, if other files instantiate generics from this --
|
||||
-- unit, or you link this unit with other files to produce an executable, --
|
||||
-- this unit does not by itself cause the resulting executable to be --
|
||||
-- covered by the GNU General Public License. This exception does not --
|
||||
-- however invalidate any other reasons why the executable file might be --
|
||||
-- covered by the GNU Public License. --
|
||||
-- --
|
||||
-- GNAT was originally developed by the GNAT team at New York University. --
|
||||
-- Extensive contributions were provided by Ada Core Technologies Inc. --
|
||||
-- --
|
||||
------------------------------------------------------------------------------
|
||||
|
||||
package System is
|
||||
pragma Pure;
|
||||
-- Note that we take advantage of the implementation permission to make
|
||||
-- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada
|
||||
-- 2005, this is Pure in any case (AI-362).
|
||||
|
||||
type Name is (SYSTEM_NAME_GNAT);
|
||||
System_Name : constant Name := SYSTEM_NAME_GNAT;
|
||||
|
||||
-- System-Dependent Named Numbers
|
||||
|
||||
Min_Int : constant := Long_Long_Integer'First;
|
||||
Max_Int : constant := Long_Long_Integer'Last;
|
||||
|
||||
Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
|
||||
Max_Nonbinary_Modulus : constant := Integer'Last;
|
||||
|
||||
Max_Base_Digits : constant := Long_Long_Float'Digits;
|
||||
Max_Digits : constant := Long_Long_Float'Digits;
|
||||
|
||||
Max_Mantissa : constant := 63;
|
||||
Fine_Delta : constant := 2.0 ** (-Max_Mantissa);
|
||||
|
||||
Tick : constant := 0.000_001;
|
||||
|
||||
-- Storage-related Declarations
|
||||
|
||||
type Address is private;
|
||||
Null_Address : constant Address;
|
||||
|
||||
Storage_Unit : constant := 8;
|
||||
Word_Size : constant := 32;
|
||||
Memory_Size : constant := 2 ** 32;
|
||||
|
||||
-- Address comparison
|
||||
|
||||
function "<" (Left, Right : Address) return Boolean;
|
||||
function "<=" (Left, Right : Address) return Boolean;
|
||||
function ">" (Left, Right : Address) return Boolean;
|
||||
function ">=" (Left, Right : Address) return Boolean;
|
||||
function "=" (Left, Right : Address) return Boolean;
|
||||
|
||||
pragma Import (Intrinsic, "<");
|
||||
pragma Import (Intrinsic, "<=");
|
||||
pragma Import (Intrinsic, ">");
|
||||
pragma Import (Intrinsic, ">=");
|
||||
pragma Import (Intrinsic, "=");
|
||||
|
||||
-- Other System-Dependent Declarations
|
||||
|
||||
type Bit_Order is (High_Order_First, Low_Order_First);
|
||||
Default_Bit_Order : constant Bit_Order := Low_Order_First;
|
||||
pragma Warnings (Off, Default_Bit_Order); -- kill constant condition warning
|
||||
|
||||
-- Priority-related Declarations (RM D.1)
|
||||
|
||||
Max_Priority : constant Positive := 30;
|
||||
Max_Interrupt_Priority : constant Positive := 31;
|
||||
|
||||
subtype Any_Priority is Integer range 0 .. 31;
|
||||
subtype Priority is Any_Priority range 0 .. 30;
|
||||
subtype Interrupt_Priority is Any_Priority range 31 .. 31;
|
||||
|
||||
Default_Priority : constant Priority := 15;
|
||||
|
||||
private
|
||||
|
||||
type Address is mod Memory_Size;
|
||||
Null_Address : constant Address := 0;
|
||||
|
||||
--------------------------------------
|
||||
-- System Implementation Parameters --
|
||||
--------------------------------------
|
||||
|
||||
-- These parameters provide information about the target that is used
|
||||
-- by the compiler. They are in the private part of System, where they
|
||||
-- can be accessed using the special circuitry in the Targparm unit
|
||||
-- whose source should be consulted for more detailed descriptions
|
||||
-- of the individual switch values.
|
||||
|
||||
AAMP : constant Boolean := False;
|
||||
Backend_Divide_Checks : constant Boolean := False;
|
||||
Backend_Overflow_Checks : constant Boolean := False;
|
||||
Command_Line_Args : constant Boolean := True;
|
||||
Compiler_System_Version : constant Boolean := False;
|
||||
Configurable_Run_Time : constant Boolean := False;
|
||||
Denorm : constant Boolean := True;
|
||||
Duration_32_Bits : constant Boolean := False;
|
||||
Exit_Status_Supported : constant Boolean := True;
|
||||
Fractional_Fixed_Ops : constant Boolean := False;
|
||||
Frontend_Layout : constant Boolean := False;
|
||||
Functions_Return_By_DSP : constant Boolean := False;
|
||||
Machine_Overflows : constant Boolean := False;
|
||||
Machine_Rounds : constant Boolean := True;
|
||||
OpenVMS : constant Boolean := False;
|
||||
Preallocated_Stacks : constant Boolean := False;
|
||||
Signed_Zeros : constant Boolean := True;
|
||||
Stack_Check_Default : constant Boolean := False;
|
||||
Stack_Check_Probes : constant Boolean := False;
|
||||
Support_64_Bit_Divides : constant Boolean := True;
|
||||
Support_Aggregates : constant Boolean := True;
|
||||
Support_Composite_Assign : constant Boolean := True;
|
||||
Support_Composite_Compare : constant Boolean := True;
|
||||
Support_Long_Shifts : constant Boolean := True;
|
||||
Suppress_Standard_Library : constant Boolean := False;
|
||||
Use_Ada_Main_Program_Name : constant Boolean := False;
|
||||
ZCX_By_Default : constant Boolean := True;
|
||||
GCC_ZCX_Support : constant Boolean := True;
|
||||
Front_End_ZCX_Support : constant Boolean := False;
|
||||
|
||||
-- Obsolete entries, to be removed eventually (bootstrap issues!)
|
||||
|
||||
High_Integrity_Mode : constant Boolean := False;
|
||||
Long_Shifts_Inlined : constant Boolean := True;
|
||||
|
||||
end System;
|
||||
Loading…
Reference in New Issue