Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 


Quelle  config.txt   Sprache: Text

 
========================================================================
| In order to compile nauty on systems which include a Unix-like shell
| (which includes MacOSX and Cygwin), you must first run the script
| "configure".  Usually this can be done with the command
|  ./configure

| The configure script will create custom versions of these files:
|   gtools.h makefile naututil.h nauty.h
| Afterwards you can use "make" to compile everything.

| In case you can't run shell scripts, or configure doesn't work for 
| some reason, you need to adjust the configuration by hand:
| For gtools.h, naututil.h, and nauty.h, make sure definitions near the
| start of the file (like HAVE_UNISTD_H and SIZEOF_INT) are all correct.
| For makefile, copy the file makefile.basic to makefile, then check the
| definitions near the start.

| Please notify Brendan McKay <brendan.mckay@anu.edu.au> of any problems
| with the configuration and of any hints you might have for other people
| with similar setups as you have.
========================================================================

Messung V0.5
C=94 H=91 G=92

¤ Dauer der Verarbeitung: 0.0 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.






                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Software

     Produkte
     Quellcodebibliothek

Aktivitäten

     Artikel über Sicherheit
     Anleitung zur Aktivierung von SSL

Muße

     Gedichte
     Musik
     Bilder

Jenseits des Üblichen ....

Besucherstatistik

Besucherstatistik

Monitoring

Montastic status badge