← Back to branch summary

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

« back to all changes in this revision

Viewing changes to benchmark/tests.mk

  • 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:
benchmark/tests.mk
1
 
 
2
 
# Tests in categories
3
 
catBenchmark = categories/$1.agda -icategories --ignore-interfaces +RTS -K32M -RTS
4
 
cat                      = $(call catBenchmark,Categories)
5
 
prim             = $(call catBenchmark,Primitive)
6
 
catTests = cat prim
7
 
 
8
 
# Tests in ac
9
 
ac1                     = ac/AC.agda --ignore-interfaces -iac
10
 
ac2                     = ac/Example.agda --ignore-interfaces -iac
11
 
ac3                     = ac/Example.agda -iac
12
 
acTests = ac1 ac2 ac3
13
 
 
14
 
# Syntacticosmos
15
 
syntax1 = Syntacticosmos/UntypedLambda.agda --ignore-interfaces -iSyntacticosmos +RTS -K32M
16
 
syntax2 = Syntacticosmos/UntypedLambda.agda -iSyntacticosmos +RTS -K32M
17
 
syntaxTests = syntax1 syntax2
18
 
 
19
 
# cwf
20
 
cwf = cwf/CwF.agda --ignore-interfaces -icwf
21
 
cwfTests = cwf
22
 
 
23
 
# Parsing monad
24
 
monad = monad/Monad.agda -i../std-lib/src -imonad
25
 
monadpostulate = monad/MonadPostulates.agda -i../std-lib/src -imonad
26
 
monadTests = monad monadpostulate
27
 
 
28
 
#misc
29
 
misc                             = misc/$1.agda -imisc --ignore-interfaces
30
 
functor                  = $(call misc,Functor)
31
 
latemeta                 = $(call misc,LateMetaVariableInstantiation)
32
 
polyfunctor  = $(call misc,UniversePolymorphicFunctor)
33
 
patternmatch = $(call misc,Coverage)
34
 
miscTests                = functor latemeta polyfunctor patternmatch
35
 
 
36
 
#proj
37
 
proj = proj/$1.agda -iproj --ignore-interfaces
38
 
record = $(call proj,Record)
39
 
data   = $(call proj,Data)
40
 
nested = $(call proj,Nested)
41
 
projTests = record data nested
42
 
 
43
 
#std-lib
44
 
stdlib = std-lib/$1.agda -istd-lib -i../std-lib/src
45
 
any = $(call stdlib,Any)
46
 
stdlibTests = any
47
 
 
48
 
# All tests
49
 
allTests = $(catTests) $(acTests) $(syntaxTests) $(cwfTests) $(monadTests) $(miscTests) $(projTests) $(stdlibTests)
50