# -----------------------------------------------------------------------------
-# $Id: bootstrap.mk,v 1.19 2002/05/14 08:25:46 matthewc Exp $
+# $Id: bootstrap.mk,v 1.20 2002/08/09 21:28:10 sof Exp $
#
# Makefile rules for booting from .hc files without a driver.
#
$(CC) -x c $< -o $@ -S -O $(HC_BOOT_CC_OPTS) -I. `echo $(patsubst -monly-%-regs, -DSTOLEN_X86_REGS=%, $(filter -monly-%-regs, $($*_HC_OPTS))) | sed 's/^$$/-DSTOLEN_X86_REGS=4/'`
%.s : %.raw_s
- $(FPTOOLS_TOP)/$(GHC_MANGLER_DIR)/$(GHC_MANGLER) $< $@ $(patsubst -monly-%-regs, %, $(filter -monly-%-regs, $($*_HC_OPTS)))
+ $(GHC_MANGLER) $< $@ $(patsubst -monly-%-regs, %, $(filter -monly-%-regs, $($*_HC_OPTS)))
%.o : %.s
$(CC) -c -o $@ $<