Skip to content
Snippets Groups Projects
Commit 6ab96039 authored by Daniel Firth's avatar Daniel Firth
Browse files

add callPlutus let binding

parent d58c1e2f
Branches
Tags
No related merge requests found
...@@ -20,6 +20,16 @@ let callCardanoLedger ...@@ -20,6 +20,16 @@ let callCardanoLedger
"3aa1fd8469424778454644f0d371988fb4490b4a" "3aa1fd8469424778454644f0d371988fb4490b4a"
(Some subdir) (Some subdir)
let callPlutus
: H.Name → H.Subdir → H.Attr H.HaskellPackage.Type
= λ(name : H.Name) →
λ(subdir : H.Subdir) →
H.callCabal2nix
name
"https://github.com/milloni/plutus"
"81cd1ada745c12af2c2c28afce1f6b6b28b38fdd"
(Some subdir)
let plutusLibraries = let plutusLibraries =
H.modPackageList H.modPackageList
H.Modifiers::{ enableProfiling = False } H.Modifiers::{ enableProfiling = False }
...@@ -48,21 +58,9 @@ let plutusLibraries = ...@@ -48,21 +58,9 @@ let plutusLibraries =
, callCardanoLedger , callCardanoLedger
"cardano-protocol-tpraos" "cardano-protocol-tpraos"
"libs/cardano-protocol-tpraos" "libs/cardano-protocol-tpraos"
, H.callCabal2nix , callPlutus "plutus-core" "plutus-core"
"plutus-core" , callPlutus "plutus-ledger-api" "plutus-ledger-api"
"https://github.com/milloni/plutus" , callPlutus "plutus-tx" "plutus-tx"
"81cd1ada745c12af2c2c28afce1f6b6b28b38fdd"
(Some "plutus-core")
, H.callCabal2nix
"plutus-ledger-api"
"https://github.com/milloni/plutus"
"81cd1ada745c12af2c2c28afce1f6b6b28b38fdd"
(Some "plutus-ledger-api")
, H.callCabal2nix
"plutus-tx"
"https://github.com/milloni/plutus"
"81cd1ada745c12af2c2c28afce1f6b6b28b38fdd"
(Some "plutus-tx")
] ]
let otherLibraries = let otherLibraries =
...@@ -215,11 +213,7 @@ let otherLibraries = ...@@ -215,11 +213,7 @@ let otherLibraries =
(None Text) (None Text)
, H.callHackage "validation-selective" "0.1.0.2" , H.callHackage "validation-selective" "0.1.0.2"
, callCardanoLedger "vector-map" "libs/vector-map" , callCardanoLedger "vector-map" "libs/vector-map"
, H.callCabal2nix , callPlutus "word-array" "word-array"
"word-array"
"https://github.com/milloni/plutus"
"81cd1ada745c12af2c2c28afce1f6b6b28b38fdd"
(Some "word-array")
, H.callHackage "xmlgen" "0.6.2.2" , H.callHackage "xmlgen" "0.6.2.2"
, H.callHackage "size-based" "0.1.3.1" , H.callHackage "size-based" "0.1.3.1"
] ]
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment