diff options
Diffstat (limited to 'src/Makefile.am')
-rw-r--r-- | src/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 8aef2f38f..e339abf6d 100644 --- a/src/Makefile.am +++ b/src/Makefile.am | |||
@@ -20,6 +20,7 @@ if HAVE_EXPERIMENTAL | |||
20 | env \ | 20 | env \ |
21 | psycstore \ | 21 | psycstore \ |
22 | psyc \ | 22 | psyc \ |
23 | social \ | ||
23 | $(CONSENSUS) \ | 24 | $(CONSENSUS) \ |
24 | $(SECRETSHARING) \ | 25 | $(SECRETSHARING) \ |
25 | $(SCALARPRODUCT) \ | 26 | $(SCALARPRODUCT) \ |