diff options
-rw-r--r-- | src/Makefile.am | 29 |
1 files changed, 15 insertions, 14 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 6d0284157..d8d548706 100644 --- a/src/Makefile.am +++ b/src/Makefile.am | |||
@@ -11,13 +11,23 @@ endif | |||
11 | 11 | ||
12 | if HAVE_EXPERIMENTAL | 12 | if HAVE_EXPERIMENTAL |
13 | EXP_DIR = \ | 13 | EXP_DIR = \ |
14 | rps | 14 | rps \ |
15 | multicast \ | ||
16 | psycutil \ | ||
17 | psycstore \ | ||
18 | psyc \ | ||
19 | social | ||
15 | # dv (FTBFS) | 20 | # dv (FTBFS) |
16 | if HAVE_ABE | 21 | if HAVE_ABE |
17 | EXP_DIR += abe \ | 22 | EXP_DIR += \ |
18 | credential \ | 23 | abe \ |
19 | identity-attribute \ | 24 | credential \ |
20 | identity-provider | 25 | identity-attribute \ |
26 | identity-provider | ||
27 | endif | ||
28 | if HAVE_JSON | ||
29 | EXP_DIR += \ | ||
30 | auction | ||
21 | endif | 31 | endif |
22 | endif | 32 | endif |
23 | 33 | ||
@@ -59,9 +69,6 @@ if HAVE_JSON | |||
59 | endif | 69 | endif |
60 | endif | 70 | endif |
61 | 71 | ||
62 | if HAVE_JSON | ||
63 | AUCTION_DIR = auction | ||
64 | endif | ||
65 | 72 | ||
66 | if TALER_ONLY | 73 | if TALER_ONLY |
67 | SUBDIRS = \ | 74 | SUBDIRS = \ |
@@ -123,12 +130,6 @@ SUBDIRS = \ | |||
123 | pt \ | 130 | pt \ |
124 | secretsharing \ | 131 | secretsharing \ |
125 | integration-tests \ | 132 | integration-tests \ |
126 | multicast \ | ||
127 | psycutil \ | ||
128 | psycstore \ | ||
129 | psyc \ | ||
130 | social \ | ||
131 | $(AUCTION_DIR) \ | ||
132 | $(EXP_DIR) | 133 | $(EXP_DIR) |
133 | 134 | ||
134 | endif | 135 | endif |