← Back to branch summary

~ubuntu-branches/ubuntu/wily/agda/wily-proposed

« back to all changes in this revision

Viewing changes to src/main/Makefile

  • Committer: Package Import Robot
  • Author(s): Iain Lane
  • Date: 2014-08-05 06:38:12 UTC
  • mfrom: (1.1.6)
  • Revision ID: package-import@ubuntu.com-20140805063812-io8e77niomivhd49
Tags: 2.4.0.2-1
* [6e140ac] Imported Upstream version 2.4.0.2
* [2049fc8] Update Build-Depends to match control
* [93dc4d4] Install the new primitives
* [e48f40f] Fix typo dev→doc

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/main/Makefile
1
 
 
2
 
TOP=../..
3
 
 
4
 
include $(TOP)/mk/paths.mk
5
 
include $(TOP)/mk/config.mk
6
 
include $(TOP)/mk/rules.mk
7
 
 
8
 
src_files = $(shell $(FIND) $(FULL_SRC_DIR) -name '*hs') \
9
 
                                                $(shell $(FIND) $(FULL_SRC_DIR) -name '*.x') \
10
 
                                                $(shell $(FIND) $(FULL_SRC_DIR) -name '*.y')
11
 
 
12
 
default : $(AGDA_BIN)
13
 
 
14
 
CONFIGURED = dist/.configured
15
 
 
16
 
AGDA_BIN_P = dist/build/agda/agda_p
17
 
 
18
 
$(CONFIGURED) : Agda-executable.cabal ../../Agda.cabal
19
 
        $(RUNSETUP) configure --user
20
 
        @touch $@
21
 
 
22
 
.uptodate : $(src_files)        
23
 
        @echo Rebuilding executable...
24
 
        @rm -f $(AGDA_BIN) $(AGDA_BIN_P)
25
 
        @touch .uptodate
26
 
 
27
 
$(AGDA_BIN) : Main.hs $(CONFIGURED) .uptodate
28
 
        $(RUNSETUP) build
29
 
 
30
 
prof : $(AGDA_BIN_P)
31
 
 
32
 
$(AGDA_BIN_P) : Main.hs .uptodate
33
 
        $(GHC) --make Main.hs -O -prof -auto-all -o $@
34