From 697abc720d1dd62395fda504111c609aaf1f04a8 Mon Sep 17 00:00:00 2001 From: Vanessa McHale Date: Thu, 6 Dec 2018 08:30:53 -0600 Subject: [PATCH] Plutus core/fix cabal project file (#383) * Remove redundant library dependencies identified by weeder * Fix cabal.project file * Add +development to plutus-playground-lib --- cabal.project | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/cabal.project b/cabal.project index bad5eed681f..88a01b21dc4 100644 --- a/cabal.project +++ b/cabal.project @@ -6,8 +6,8 @@ packages: language-plutus-core plutus-tx-plugin plutus-use-cases plutus-ir - plutus-playground-server - plutus-playground-lib + plutus-playground/plutus-playground-server + plutus-playground/plutus-playground-lib optimization: 2 constraints: language-plutus-core +development , wallet-api +development @@ -16,6 +16,7 @@ constraints: language-plutus-core +development , plutus-core-interpreter +development , plutus-ir +development , plutus-playground-server +development + , plutus-playground-lib +development tests: true benchmarks: true documentation: true