diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2009-01-02 11:12:15 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2009-01-02 11:12:15 +0000 |
commit | 322dc1ce00a3155194d2f636fd0b1ef7b5c9cb37 (patch) | |
tree | 362f30808ba5e892af861ade3d7026cc72841aa2 | |
parent | 2245717b5800da80371952999bc0cff5f75aa490 (diff) | |
download | compcert-322dc1ce00a3155194d2f636fd0b1ef7b5c9cb37.tar.gz compcert-322dc1ce00a3155194d2f636fd0b1ef7b5c9cb37.zip |
Wrong dependencies
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@936 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
-rw-r--r-- | Makefile | 10 |
1 files changed, 6 insertions, 4 deletions
@@ -93,10 +93,12 @@ runtime: .PHONY: proof extraction cil ccomp runtime -extraction: proof -ccomp: cil extraction - -all: proof cil extraction ccomp runtime +all: + $(MAKE) proof + $(MAKE) cil + $(MAKE) extraction + $(MAKE) ccomp + $(MAKE) runtime documentation: doc/removeproofs @ln -f $(FILES) doc/ |