|
@@ -41,10 +41,22 @@ $(addsuffix .e,$(enclave-objs)): %.e: %.c $(headers)
|
|
|
@echo [ host/Linux-SGX/$@ ]
|
|
|
@$(CC) $(CFLAGS) $(defs) -DIN_ENCLAVE -E $< -o $@
|
|
|
|
|
|
+$(addsuffix .i,$(enclave-objs)): %.i: %.c $(headers)
|
|
|
+ @echo [ host/Linux-SGX/$@ ]
|
|
|
+ @$(CC) $(CFLAGS) $(defs) -DIN_ENCLAVE -E $< -o $@
|
|
|
+
|
|
|
+$(addsuffix .s,$(enclave-objs)): %.s: %.c $(headers)
|
|
|
+ @echo [ host/Linux-SGX/$@ ]
|
|
|
+ @$(CC) $(CFLAGS) $(defs) -DIN_ENCLAVE -S $< -o $@
|
|
|
+
|
|
|
$(addsuffix .o,$(enclave-asm-objs)): %.o: %.S $(headers)
|
|
|
@echo [ host/Linux-SGX/$@ ]
|
|
|
@$(AS) $(ASFLAGS) $(defs) -DIN_ENCLAVE -c $< -o $@
|
|
|
|
|
|
+$(addsuffix .s,$(enclave-asm-objs)): %.s: %.S $(headers)
|
|
|
+ @echo [ host/Linux-SGX/$@ ]
|
|
|
+ @$(AS) $(ASFLAGS) $(defs) -DIN_ENCLAVE -E $< -o $@
|
|
|
+
|
|
|
$(addsuffix .o,$(urts-objs)): %.o: %.c $(headers)
|
|
|
@echo [ host/Linux-SGX/$@ ]
|
|
|
@$(CC) $(filter-out -DIN_ENCLAVE,$(CFLAGS)) $(defs) -c $< -o $@
|
|
@@ -53,6 +65,18 @@ $(addsuffix .e,$(urts-objs)): %.e: %.c $(headers)
|
|
|
@echo [ host/Linux-SGX/$@ ]
|
|
|
@$(CC) $(filter-out -DIN_ENCLAVE,$(CFLAGS)) $(defs) -E $< -o $@
|
|
|
|
|
|
+$(addsuffix .i,$(urts-objs)): %.i: %.c $(headers)
|
|
|
+ @echo [ host/Linux-SGX/$@ ]
|
|
|
+ @$(CC) $(filter-out -DIN_ENCLAVE,$(CFLAGS)) $(defs) -E $< -o $@
|
|
|
+
|
|
|
+$(addsuffix .s,$(urts-objs)): %.s: %.c $(headers)
|
|
|
+ @echo [ host/Linux-SGX/$@ ]
|
|
|
+ @$(CC) $(filter-out -DIN_ENCLAVE,$(CFLAGS)) $(defs) -S $< -o $@
|
|
|
+
|
|
|
+$(addsuffix .s,$(urts-asm-objs)): %.s: %.S $(headers)
|
|
|
+ @echo [ host/Linux-SGX/$@ ]
|
|
|
+ @$(AS) $(filter-out -DIN_ENCLAVE,$(ASFLAGS)) $(defs) -E $< -o $@
|
|
|
+
|
|
|
$(addsuffix .o,$(urts-asm-objs)): %.o: %.S $(headers)
|
|
|
@echo [ host/Linux-SGX/$@ ]
|
|
|
@$(AS) $(filter-out -DIN_ENCLAVE,$(ASFLAGS)) $(defs) -c $< -o $@
|
|
@@ -74,4 +98,4 @@ CLEAN_FILES += debugger/sgx_gdb.o
|
|
|
|
|
|
.PHONY: clean
|
|
|
clean:
|
|
|
- rm -f *.o *.e $(host_files) $(CLEAN_FILES)
|
|
|
+ rm -f *.o *.e *.i *.s $(host_files) $(CLEAN_FILES)
|