Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / SS 2012 / Protokollsicherheit / Makefile


Inhaltsbereich

Makefile

Makefile icon Makefile — Makefile, 1 KB (1014 bytes)

Dateiinhalt

F7DIR = ..
F7LIBDIR = $(F7DIR)/samples/lib
SYSLIBS = FSharp.PowerPack.dll FSharp.PowerPack.Compatibility.dll System.Xml.dll System.Security.dll 

FSC = echo "(FSC)" $1;\
		fsharpc --nologo -d fs\
		$(addprefix -r ,$(SYSLIBS))\
		$1 2>&1
F7 = echo "(F7)" $1;\
	  mono $(F7DIR)/bin/f7.exe\
	        -z3exe $(F7DIR)/bin/z3.exe\
			  -pervasives $(F7LIBDIR)/fs7-interfaces/pervasives.fs7\
			  -tuples $(F7LIBDIR)/fs7-interfaces/tuples.fs7\
			  -nokindcheck\
			  $1

LIBFILES = pi.fs7 formulas.fs7 list.fs7 data.fs7 xml.fs7 prim-crypto.fs7 crypto.fs7 net.fs7 db.fs7\
			  pi.fs formulas.fs db.fs data.fs crypto.fs xml.fs net.fs
LIBF7 = $(addprefix $(F7LIBDIR)/fs7-interfaces/,$(filter %.fs7,$(LIBFILES)))
LIBFSC = $(addprefix $(F7LIBDIR)/concrete-fs/,$(filter %.fs,$(LIBFILES)))

all: nspk.exe nspk.f7

lib.dll: $(LIBFSC)
	@$(call FSC, --warn:0 $+ -a -o $@)

%.exe: %.fs lib.dll
	@$(call FSC, -r lib.dll $< -o $@)

%.f7: %.exe
	@$(call F7, $(LIBF7) $(basename $<).fs7 $(basename $<).fs)

clean:
	rm -f lib.dll *.exe

Artikelaktionen


Funktionsleiste