products/Sources/formale Sprachen/PVS/sets_aux/pvsbin/   (PVS Prover Version 6.0.9©)  Datei vom 7.10.2014 mit Größe 388 kB image not shown  

Quelle  ltstd.mak   Sprache: unbekannt

 
Spracherkennung für: .mak vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

CC = gcc
CFLAGS = -O2 -Wall -g
OBJS = 

ltstd:  ltstd.o $(OBJS)
 gcc -o ltstd ltstd.o $(OBJS) -lml -lmd

[Dauer der Verarbeitung: 0.11 Sekunden, vorverarbeitet 2026-06-27]