K32TLIB = /u/ksos/ksos32/lib/trusted

SSD.out: .lnk/SSD
	m2l -E SSD

objects: .lnk/argumentHandling .lnk/SSD
	touch $@

symbols: .sym/argumentHandling 
	touch $@

.lnk/argumentHandling: argumentHandling.mod .sym/argumentHandling \
  $(K32TLIB)/.sym/K32baseTypes \
  $(K32TLIB)/.sym/K32types \
  $(K32TLIB)/.sym/KernelCalls \
  $(K32TLIB)/.sym/NKSR
	run.m2c -T -E argumentHandling.mod

.lnk/SSD: SSD.mod .sym/argumentHandling \
  $(K32TLIB)/.sym/K32baseTypes \
  $(K32TLIB)/.sym/K32types \
  $(K32TLIB)/.sym/KernelCalls \
  $(K32TLIB)/.sym/NKSR \
  $(K32TLIB)/.sym/K32except \
  $(K32TLIB)/.sym/K32callp \
  $(K32TLIB)/.sym/Nlib \
  $(K32TLIB)/.sym/udmLib \
  $(K32TLIB)/.sym/NKbio
	M2C -E SSD.mod

.sym/argumentHandling: argumentHandling.def \
  $(K32TLIB)/.sym/K32baseTypes \
  $(K32TLIB)/.sym/K32types
	run.m2c -T -E argumentHandling.def
