ats-setup 0.1.0.2 → 0.1.0.4

raw patch · 2 files changed

+6/−3 lines, 2 files

Files

• ats-setup.cabal +1/−1
• src/Distribution/ATS.hs +5/−2

@@ -1,5 +1,5 @@ name:                ats-setup-version:             0.1.0.2+version:             0.1.0.4 synopsis:            ATS scripts for Cabal builds description:         This package contains various scripts that go in a package's @Setup.hs@ to make building libraries with ATS dependencies easier. license:             BSD3

@@ -10,6 +10,7 @@                         , libgmp                         , intinf                         , atsPrelude+                        , atsContrib                         ) where  import qualified Codec.Archive.Tar                    as Tar@@ -49,9 +50,13 @@                                     , postBuild = \_ _ _ -> maybeCleanBuild                                     } +-- TODO custom directory? cleanATSCabal :: IO () cleanATSCabal = removeDirectoryRecursive "ats-deps" +atsContrib :: ATSVersion -> ATSDependency+atsContrib v = ATSDependency ("ats2-postiats-" ++ vString ++ "-contrib") "ats-deps/contrib" ("https://downloads.sourceforge.net/project/ats2-lang/ats2-lang/ats2-postiats-" ++ vString ++ "/ATS2-Postiats-contrib-" ++ vString ++ ".tgz")+ -- | GMP bindings for ATS libgmp :: ATSDependency libgmp = ATSDependency "atscntrb-libgmp-1.0.4" "ats-deps/contrib/atscntrb-libgmp" "https://registry.npmjs.org/atscntrb-libgmp/-/atscntrb-libgmp-1.0.4.tgz"@@ -59,8 +64,6 @@ -- | Arbitrary-precision arithmetic library for ATS intinf :: ATSDependency intinf = ATSDependency "atscntrb-hs-intinf-1.0.6" "ats-deps/contrib/atscntrb-hx-intinf" "https://registry.npmjs.org/atscntrb-hx-intinf/-/atscntrb-hx-intinf-1.0.6.tgz"---- https://registry.npmjs.org/ats-postiats-include/-/ats-postiats-include-1.0.0.tgz  -- | ATS prelude atsPrelude :: ATSVersion -> ATSDependency