Compilation switches by file

danmcleran_at_hotmail.com
Date: 01/21/05

  • Next message: Jim: "Is there a translator from SPARK Ada to VHDL?" 
    Date: 20 Jan 2005 15:02:57 -0800

    I'm using GNAT 3.15p along with some AI302 stuff. I ran into a problem
    because my gnat.adc file had the following pragma

    pragma Restrictions(No_Recursion);

    But, it seems that some of the AI302 stuff uses recursion. I'd like to
    compile my stuff with one set of restrictions, while compiling the
    AI302 stuff under a different set of restrictions. Are Gnat project
    files the easiest way to do this?

    Thanks

  • Next message: Jim: "Is there a translator from SPARK Ada to VHDL?"

    Relevant Pages

    • Re: Interfacing with C ; an ununsed fields dilemma
      ... For the Ada standards, try using "pragma Normalize_Scalars" or you ... "Initialize_Scalars" is a GNAT implementation pragma. ... Ok, for the block comparison to work, implementation tipically fill ...
      (comp.lang.ada)
    • Re: problem with ada.interrupts
      ... AdaMagic compilers, on WindowsXP, Linux, and Solaris. ... trigger an entry barrier, and have some task wait for the entry. ... You need a pragma on the SIGINT_Handler. ... On GNAT, you need pragma Unreserve_All_Interrupts on some systems. ...
      (comp.lang.ada)
    • Re: Reliability and deadlock in Annex E/distributed code
      ... Under gnat 3.15p for x86 Linux, things were tolerably OK, with failures ... there was some boot server failure. ... package body A is ... pragma Remote_Call_Interface; ...
      (comp.lang.ada)
    • Re: DLLs with GNAT?
      ... >> I try to write a DLL with GNAT but I've got some problem. ... package API is ... pragma Export; ...
      (comp.lang.ada)
    • Re: [No_Elaboration_Code] GNAT still generating rep_to_pos, why?
      ... > gnat rm for similar pragmas; I think there is one to suppress the enum ... pragma Restrictions; ... This is in the GNAT RM from the GCC site: ... > Well, GNAT is not normally used to build kernels, and kernels are ...
      (comp.lang.ada)