Makefile 332 B

1234567891011121314151617
  1. SYS ?= $(shell gcc -dumpmachine)
  2. export SYS
  3. targets = all clean format test sgx-tokens
  4. ifneq ($(filter sgx-tokens,$(MAKECMDGOALS)),)
  5. ifneq ($(SGX),1)
  6. $(error "The 'sgx-tokens' target requires SGX=1")
  7. endif
  8. endif
  9. .PHONY: $(targets)
  10. $(targets):
  11. $(MAKE) -C Scripts $@
  12. $(MAKE) -C Pal $@
  13. $(MAKE) -C LibOS $@
  14. $(MAKE) -C Runtime $@