configuration depends on cryptol.cabal

GaloisInc · Feb 16, 2015 · 30dd6d0 · 30dd6d0
1 parent 64d3d13
commit 30dd6d0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -103,7 +103,7 @@ print-%:
 # /usr/share/cryptol on POSIX, installdir/cryptol on Windows
 DATADIR := ${PREFIX_ABS}${PREFIX_SHARE}
 
-dist/setup-config: | ${CS_BIN}/alex ${CS_BIN}/happy
+dist/setup-config: cryptol.cabal | ${CS_BIN}/alex ${CS_BIN}/happy
 	$(CABAL_INSTALL) --only-dependencies
 	$(CABAL) configure                            \
           --prefix=$(call adjust-path,${PREFIX_ABS})  \