Makefile
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