Revert "Fix the workaround for #5360"
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun, 31 Jul 2011 07:37:23 +0000 (17:37 +1000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun, 31 Jul 2011 07:37:23 +0000 (17:37 +1000)
This reverts commit 2ad66b597b139ea73830f2aedf564df2b72960e9.

packages

index 7eae877..84ce2b6 100644 (file)
--- a/packages
+++ b/packages
@@ -78,5 +78,4 @@ libraries/stm                   extra       packages/stm.git
 libraries/random                dph         packages/random.git                 git
 libraries/primitive             dph         packages/primitive.git              git
 libraries/vector                dph         packages/vector.git                 git
-# Don't build dph for now: it doesn't work (#5360)
-# libraries/dph                   dph         packages/dph.git                    git
+libraries/dph                   dph         packages/dph.git                    git