Update ToolRequirements for Ubuntu, add Debian

Fixes #26
This commit is contained in:
Julian Ospald 2020-05-17 18:37:54 +02:00
parent 85054d9c76
commit be93a98bd4
No known key found for this signature in database
GPG Key ID: 511B62C09D50CD28
2 changed files with 42 additions and 2 deletions

View File

@ -34,14 +34,33 @@
"notes": ""
}
},
"Linux_Debian": {
"unknown_versioning": {
"distroPKGs": [
"build-essential",
"curl",
"libffi-dev",
"libffi6",
"libgmp-dev",
"libgmp10",
"libncurses-dev",
"libncurses5",
"libtinfo5"
],
"notes": ""
}
},
"Linux_Ubuntu": {
"unknown_versioning": {
"distroPKGs": [
"build-essential",
"curl",
"libgmp-dev",
"libffi-dev",
"libffi6",
"libgmp-dev",
"libgmp10",
"libncurses-dev",
"libncurses5",
"libtinfo5"
],
"notes": ""

View File

@ -53,9 +53,30 @@ toolRequirements = M.fromList
, Requirements
[ "build-essential"
, "curl"
, "libgmp-dev"
, "libffi-dev"
, "libffi6"
, "libgmp-dev"
, "libgmp10"
, "libncurses-dev"
, "libncurses5"
, "libtinfo5"
]
""
)
]
)
, ( Linux Debian
, M.fromList
[ ( Nothing
, Requirements
[ "build-essential"
, "curl"
, "libffi-dev"
, "libffi6"
, "libgmp-dev"
, "libgmp10"
, "libncurses-dev"
, "libncurses5"
, "libtinfo5"
]
""