[DEVOPS-890] Move plutus-prototype to it's own subproject

IntersectMBO · Jun 28, 2018 · 0fbc0ea · 0fbc0ea
1 parent 3aa6985
commit 0fbc0ea
Show file tree

Hide file tree

Showing 45 changed files with 2 additions and 2 deletions.
diff --git a/pkgs/default.nix b/pkgs/default.nix
@@ -55575,7 +55575,7 @@ mkDerivation {
 
 pname = "plutus-prototype";
 version = "0.1.0.0";
-src = ./../.;
+src = ./../plutus-prototype;
 enableSeparateDataOutput = true;
 libraryHaskellDepends = [
 base

diff --git a/LICENSE.txt → plutus-prototype/LICENSE.txt b/LICENSE.txt → plutus-prototype/LICENSE.txt
diff --git a/README.md → plutus-prototype/README.md b/README.md → plutus-prototype/README.md
diff --git a/plutus-prototype.cabal → plutus-prototype/plutus-prototype.cabal b/plutus-prototype.cabal → plutus-prototype/plutus-prototype.cabal
diff --git a/src/Debug.hs → plutus-prototype/src/Debug.hs b/src/Debug.hs → plutus-prototype/src/Debug.hs
diff --git a/src/Demo.pls → plutus-prototype/src/Demo.pls b/src/Demo.pls → plutus-prototype/src/Demo.pls
diff --git a/src/Elaboration/Contexts.hs → plutus-prototype/src/Elaboration/Contexts.hs b/src/Elaboration/Contexts.hs → plutus-prototype/src/Elaboration/Contexts.hs
diff --git a/src/Elaboration/ElabState.hs → ...us-prototype/src/Elaboration/ElabState.hs b/src/Elaboration/ElabState.hs → ...us-prototype/src/Elaboration/ElabState.hs
diff --git a/src/Elaboration/Elaboration.hs → ...-prototype/src/Elaboration/Elaboration.hs b/src/Elaboration/Elaboration.hs → ...-prototype/src/Elaboration/Elaboration.hs
diff --git a/src/Elaboration/Elaborator.hs → ...s-prototype/src/Elaboration/Elaborator.hs b/src/Elaboration/Elaborator.hs → ...s-prototype/src/Elaboration/Elaborator.hs
diff --git a/src/Elaboration/Judgments.hs → ...us-prototype/src/Elaboration/Judgments.hs b/src/Elaboration/Judgments.hs → ...us-prototype/src/Elaboration/Judgments.hs
diff --git a/src/Elaboration/Unification.hs → ...-prototype/src/Elaboration/Unification.hs b/src/Elaboration/Unification.hs → ...-prototype/src/Elaboration/Unification.hs
diff --git a/src/Interface/Integration.hs → ...us-prototype/src/Interface/Integration.hs b/src/Interface/Integration.hs → ...us-prototype/src/Interface/Integration.hs
diff --git a/src/Interface/JSVM.hs → plutus-prototype/src/Interface/JSVM.hs b/src/Interface/JSVM.hs → plutus-prototype/src/Interface/JSVM.hs
diff --git a/src/Interface/Prelude.hs → plutus-prototype/src/Interface/Prelude.hs b/src/Interface/Prelude.hs → plutus-prototype/src/Interface/Prelude.hs
diff --git a/src/Interface/REPL.hs → plutus-prototype/src/Interface/REPL.hs b/src/Interface/REPL.hs → plutus-prototype/src/Interface/REPL.hs
diff --git a/src/Plutus/Parser.hs → plutus-prototype/src/Plutus/Parser.hs b/src/Plutus/Parser.hs → plutus-prototype/src/Plutus/Parser.hs
diff --git a/src/Plutus/Program.hs → plutus-prototype/src/Plutus/Program.hs b/src/Plutus/Program.hs → plutus-prototype/src/Plutus/Program.hs
diff --git a/src/Plutus/Term.hs → plutus-prototype/src/Plutus/Term.hs b/src/Plutus/Term.hs → plutus-prototype/src/Plutus/Term.hs
diff --git a/src/PlutusCore/BuiltinEvaluation.hs → ...otype/src/PlutusCore/BuiltinEvaluation.hs b/src/PlutusCore/BuiltinEvaluation.hs → ...otype/src/PlutusCore/BuiltinEvaluation.hs
diff --git a/src/PlutusCore/CKMachine.hs → plutus-prototype/src/PlutusCore/CKMachine.hs b/src/PlutusCore/CKMachine.hs → plutus-prototype/src/PlutusCore/CKMachine.hs
diff --git a/src/PlutusCore/CKMachine.html → ...s-prototype/src/PlutusCore/CKMachine.html b/src/PlutusCore/CKMachine.html → ...s-prototype/src/PlutusCore/CKMachine.html
diff --git a/src/PlutusCore/CKMachine.js → plutus-prototype/src/PlutusCore/CKMachine.js b/src/PlutusCore/CKMachine.js → plutus-prototype/src/PlutusCore/CKMachine.js
diff --git a/src/PlutusCore/Data.js → plutus-prototype/src/PlutusCore/Data.js b/src/PlutusCore/Data.js → plutus-prototype/src/PlutusCore/Data.js
diff --git a/src/PlutusCore/Evaluation.hs → ...us-prototype/src/PlutusCore/Evaluation.hs b/src/PlutusCore/Evaluation.hs → ...us-prototype/src/PlutusCore/Evaluation.hs
diff --git a/src/PlutusCore/EvaluatorTypes.hs → ...rototype/src/PlutusCore/EvaluatorTypes.hs b/src/PlutusCore/EvaluatorTypes.hs → ...rototype/src/PlutusCore/EvaluatorTypes.hs
diff --git a/src/PlutusCore/PatternMatching.hs → ...ototype/src/PlutusCore/PatternMatching.hs b/src/PlutusCore/PatternMatching.hs → ...ototype/src/PlutusCore/PatternMatching.hs
diff --git a/src/PlutusCore/Program.hs → plutus-prototype/src/PlutusCore/Program.hs b/src/PlutusCore/Program.hs → plutus-prototype/src/PlutusCore/Program.hs
diff --git a/src/PlutusCore/Term.hs → plutus-prototype/src/PlutusCore/Term.hs b/src/PlutusCore/Term.hs → plutus-prototype/src/PlutusCore/Term.hs
diff --git a/src/PlutusCore/Term.js → plutus-prototype/src/PlutusCore/Term.js b/src/PlutusCore/Term.js → plutus-prototype/src/PlutusCore/Term.js
diff --git a/src/PlutusTypes/ConSig.hs → plutus-prototype/src/PlutusTypes/ConSig.hs b/src/PlutusTypes/ConSig.hs → plutus-prototype/src/PlutusTypes/ConSig.hs
diff --git a/src/PlutusTypes/Type.hs → plutus-prototype/src/PlutusTypes/Type.hs b/src/PlutusTypes/Type.hs → plutus-prototype/src/PlutusTypes/Type.hs
diff --git a/src/Prelude.pls → plutus-prototype/src/Prelude.pls b/src/Prelude.pls → plutus-prototype/src/Prelude.pls
diff --git a/src/Utils/ABT.hs → plutus-prototype/src/Utils/ABT.hs b/src/Utils/ABT.hs → plutus-prototype/src/Utils/ABT.hs
diff --git a/src/Utils/Elaborator.hs → plutus-prototype/src/Utils/Elaborator.hs b/src/Utils/Elaborator.hs → plutus-prototype/src/Utils/Elaborator.hs
diff --git a/src/Utils/Env.hs → plutus-prototype/src/Utils/Env.hs b/src/Utils/Env.hs → plutus-prototype/src/Utils/Env.hs
diff --git a/src/Utils/Eval.hs → plutus-prototype/src/Utils/Eval.hs b/src/Utils/Eval.hs → plutus-prototype/src/Utils/Eval.hs
diff --git a/src/Utils/JSABT.hs → plutus-prototype/src/Utils/JSABT.hs b/src/Utils/JSABT.hs → plutus-prototype/src/Utils/JSABT.hs
diff --git a/src/Utils/Names.hs → plutus-prototype/src/Utils/Names.hs b/src/Utils/Names.hs → plutus-prototype/src/Utils/Names.hs
diff --git a/src/Utils/Pretty.hs → plutus-prototype/src/Utils/Pretty.hs b/src/Utils/Pretty.hs → plutus-prototype/src/Utils/Pretty.hs
diff --git a/src/Utils/ProofDeveloper.hs → plutus-prototype/src/Utils/ProofDeveloper.hs b/src/Utils/ProofDeveloper.hs → plutus-prototype/src/Utils/ProofDeveloper.hs
diff --git a/src/Utils/SuffixParser.hs → plutus-prototype/src/Utils/SuffixParser.hs b/src/Utils/SuffixParser.hs → plutus-prototype/src/Utils/SuffixParser.hs
diff --git a/src/Utils/Unifier.hs → plutus-prototype/src/Utils/Unifier.hs b/src/Utils/Unifier.hs → plutus-prototype/src/Utils/Unifier.hs
diff --git a/src/Utils/Vars.hs → plutus-prototype/src/Utils/Vars.hs b/src/Utils/Vars.hs → plutus-prototype/src/Utils/Vars.hs
diff --git a/stack.yaml b/stack.yaml
@@ -1,7 +1,7 @@
 resolver: lts-11.11
 
 packages:
-- '.'
+- plutus-prototype
 - language-plutus-core
 
 - location: