Domanda

Sto facendo uno studio di commercio per lo sviluppo Ada su Linux. Avete buone raccomandazioni compilatore / OS?

Finora, ho GNAT da AdaCore in esecuzione su CentOS 5.4, e ho richieste di licenza a per Rational Apex e Aonix ObjectAda.

Questo è uno sforzo di porting. La base di codice originale è Apex 3.0 su OSF1 4.0d.

C'è altro che dovrebbe essere considerato? Idealmente, sarebbe un ambiente supportato.

È stato utile?

Soluzione

Un problema è necessario prendere in considerazione è quello di determinare in che misura il sistema che viene portato utilizza pacchetti forniti dal produttore per svolgere la sua funzione. Quello che ho visto con i grandi, i sistemi più vecchi, soprattutto quelli Apex, è una propensione per i guru della lingua durante il suo tempo di sviluppo per aver deciso che la vaniglia Ada non era abbastanza buono, e così legare in tutti questi pacchetti forniti dal produttore. Se questo è ciò che il sistema fa in questo momento, è un argomento forte per l'aggiornamento entro il venditore e attaccare con Apex (tutte le altre cose che sono per lo più uguale).

Ogni volta che ho fatto porti di tali sistemi, se data l'opportunità che ho fatto del mio meglio per strappare tutto il materiale fornito dal produttore - nove volte su dieci si sostituisce la roba specifico del fornitore con le implementazioni di vaniglia Ada lavorato altrettanto bene, e non hai più a che fare con le peculiarità di un pacchetto specifico compilatore. Inoltre, si aumenta la portabilità e la manutenibilità del sistema, permettendogli di adattarsi meglio ai cambiamenti futuri.

Altri suggerimenti

C'è sempre SPARK, ma credo che la sua una versione specializzata / subsetted del linguaggio Ada. Si potrebbe desiderare di contattare SigAda o il gruppo usenet Ada per vedere se ci sono altre idee.

Onestamente, però, GNAT è un grande set di strumenti. È possibile utilizzare GNATBench, un'interfaccia Eclipse, o GPS, un leggero GTK + IDE, per interfacciarsi con gli strumenti GNAT.

Altri compilatori sono a conoscenza sono Green Hills ADAMULTI (per vari RTOS) e SCORE del DDC-I (anche per vari RTOS)

I fornitori di compilatori certificati che supportano Linux (in aggiunta a quelli elencati nella domanda):

Irvine Compiler Corp.

OC Sistemi

RR Software

Sofcheck

Autorizzato sotto: CC-BY-SA insieme a attribuzione
Non affiliato a StackOverflow
scroll top