products/sources/formale sprachen/Coq/dev/build/windows/patches_coq/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: Mainboard.pas.~997~   Sprache: Unknown

rahmenlose Ansicht.patch DruckansichtHaskell {Haskell[271] BAT[353] Ada[480]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

diff --git a/Makefile b/Makefile
index 938abbeb..d31de4aa 100755
--- a/Makefile
+++ b/Makefile
@@ -82,8 +82,8 @@ endif
 
 COMPCERTDIRS=lib common $(ARCHDIRS) cfrontend flocq exportclight $(BACKEND)
 
-COMPCERT_R_FLAGS= $(foreach d, $(COMPCERTDIRS), -R $(COMPCERT)/$(d) compcert.$(d))
-EXTFLAGS= $(foreach d, $(COMPCERTDIRS), -Q $(COMPCERT)/$(d) compcert.$(d))
+COMPCERT_R_FLAGS= $(foreach d, $(COMPCERTDIRS), -R $(COMPCERT)/$(d) VST.compcert.$(d))
+EXTFLAGS= $(foreach d, $(COMPCERTDIRS), -Q $(COMPCERT)/$(d) VST.compcert.$(d))
 ifneq ($(wildcard InteractionTrees/theories),)
 EXTFLAGS:=$(EXTFLAGS) -Q InteractionTrees/theories ITree
 endif

[ Verzeichnis aufwärts0.135unsichere Verbindung  ]