| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/trig/ (Beweissystem der NASA Version 6.0.9©) Datei vom 28.9.2014 mit Größe 2 kB |
|
Quelle INSTALL Sprache: Lisp |
|||||||||
|
$Id: INSTALL,v 1.1.1.1 2004/05/18 01:50:44 kgibbs Exp $
Platform Specific Notes FreeBSD If you use a cc or c++ other than the system one, threads may not be detected properly. To work around this set the following environment variables: setenv CC /usr/bin/cc setenv CXX /usr/bin/c++ ¤ Dauer der Verarbeitung: 0.25 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28