Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
P
PolyORB-HI-Ada
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
0
Issues
0
List
Boards
Labels
Service Desk
Milestones
Merge Requests
0
Merge Requests
0
Operations
Operations
Incidents
Analytics
Analytics
Repository
Value Stream
Wiki
Wiki
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Commits
Issue Boards
Open sidebar
TASTE
PolyORB-HI-Ada
Commits
277b3ce6
Commit
277b3ce6
authored
Apr 12, 2018
by
yoogx
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
* gnat.adc: file no longer required
parent
d56a64f5
Changes
2
Hide whitespace changes
Inline
Side-by-side
Showing
2 changed files
with
3 additions
and
71 deletions
+3
-71
src/Makefile.am
src/Makefile.am
+3
-3
src/gnat.adc
src/gnat.adc
+0
-68
No files found.
src/Makefile.am
View file @
277b3ce6
...
...
@@ -38,7 +38,7 @@ ADA_BODIES = $(ADA_SPECS_WITH_BODY:.ads=.adb) \
# END: DO NOT DELETE THIS LINE
ADA_ADC
=
$(srcdir)
/
gnat.adc
$(srcdir)
/
hi-e.adc
$(srcdir)
/native.adc
\
ADA_ADC
=
$(srcdir)
/hi-e.adc
$(srcdir)
/native.adc
\
$(srcdir)
/gnat_runtime.adc
EXTRA_DIST
=
$(ADA_SPECS)
$(ADA_BODIES)
$(ADA_ADC)
...
...
@@ -48,8 +48,8 @@ alidir = ${shell $(CYGPATH_U) '$(OCARINA_RUNTIME)/polyorb-hi-ada'}
install-data-local
:
$(INSTALL)
-d
$(DESTDIR)$(alidir)
for
f
in
$(ADA_SPECS)
$(ADA_BODIES)
$(ADA_ADC)
polyorb_hi.gpr
;
do
\
$(INSTALL)
-m
444
$$
f
$(DESTDIR)$(alidir)
;
\
done
;
$(INSTALL)
-m
444
$$
f
$(DESTDIR)$(alidir)
;
\
done
;
uninstall-local
:
rm
-rf
$(DESTDIR)$(alidir)
src/gnat.adc
deleted
100644 → 0
View file @
d56a64f5
-- Ada partition-wide configuration
pragma Restrictions (No_Secondary_Stack); -- 13.12 (2)
--------------------------------------------------------------------------------
-- Enforce FIFO_Within priorities for all modes. Note we cannot use
-- directly the Ravenscar profile on native platforms because of the Ada
-- runtime on non-RT OS.
--pragma Task_Dispatching_Policy (FIFO_Within_Priotities); -- D.13.1
-- Note: GCC 4.3.5 does not support this policy, changed to binder
-- option "-T0" per section A.3 of the GNAT user manual
pragma Locking_Policy (Ceiling_Locking); -- D.13.1
--------------------------------------------------------------------------------
-- Activate SPARK Mode, even if we do not actually use it on the
-- target: the code has Spark_Mode disabled in some occurences,
-- without this pragma the code would be rejected.
--pragma Spark_Mode (On);
--------------------------------------------------------------------------------
-- The following define restrictions to be supported by the
-- PolyORB-HI, common restrictions
--
-- For each restriction, we list its definition place in the Ada 2005
-- reference manual.
pragma Restrictions (No_Allocators); -- H.4 (7)
-- pragma Restrictions (No_Floating_Point); -- H.4 (14)
-- pragma Restrictions (No_Access_Subprograms); -- H.4 (17)
pragma Restrictions (No_Unchecked_Access); -- H.4 (18)
pragma Restrictions (No_Dispatch); -- H.4 (19)
pragma Restrictions (No_IO); -- H.4 (20)
pragma Restrictions (No_Recursion); -- H.4 (22)
-- pragma Partition_Elaboration_Policy (Sequential); -- H.6 (3)
-- This policy eases task initial synchronization and the bootstrap
-- of the VM, see Ada 2005 Rationale for more details). (Not yet
-- supported by GNAT for Native platforms)
-- pragma Restriction_Warnings (No_Implementation_Attributes); -- 13.12 (2)
-- Style-check to enforce compliance with pure Ada, but also to avoid
-- the 'Unrestricted_Access attribute, which is GNAT specific.
-- pragma Restrictions (No_Obsolescent_Features); -- 13.12 (4)
-- Deactivated as of 20090702: GPL 2009 deprecated
-- GNAT.Sockets.Initialize, but it might still be required for older
-- compilers supported.
pragma Restrictions (No_Unchecked_Deallocation); -- J.13 (4)
-- Sibling of the No_Allocators restriction.
-- XXX to be replaced with a No_Dependence restriction
-- GNAT Specific restrictions
-- pragma Restrictions (No_Streams); -- GNAT specific
-- pragma Restrictions (No_Direct_Boolean_Operators); -- GNAT specific
-- For the use of "and then" and "or else" in boolean operations
-- pragma Restrictions (No_Enumeration_Maps); -- GNAT specific
-- Forbids <type>'Image for enumeration types. Cannot be supported
-- because some examples use it
-- pragma Restrictions (No_Implicit_Conditionals); -- GNAT specific
-- pragma Restrictions (No_Implicit_Loops); -- GNAT specific
-- pragma Restrictions (No_Enumeration_Maps); -- GNAT specific
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment