Accueil Explorer Aide
Connexion
caryoscelus
/
agda
Suivre 1
Voter 0
Fork 0
Fichiers Tickets 0 Pull Requests 0 Wiki
Branche: js_amd_patch
Branches Tags
agda
/
cabal.project.local.mtl23

cabal.project.local.mtl23 2.0 KB
Lien permanent Historique Raw

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475 
  1. -- Andreas, 2022-02-23, configuration to build with mtl-2.3-rc3
    2. 

  2. -- Invocation:
    3. 

  3. -- $ ln -s cabal.project.local.mtl23 cabal.project.local
    4. 

  4. -- $ cabal build --builddir dist-mtl23 -f +enable-cluster-counting
    5. 

  5. 

  6. flags: +enable-cluster-counting
    7. 

  7. constraints: text-icu == 0.8.*
    8. 

  8. 

  9. -- =====================================================================
    10. 

  10. -- Released versions needed to test mtl-2.3-rc3
    11. 

  11. -- =====================================================================
    12. 

  12. 

  13. -- transformers
    14. 

  14. ------------------------------------------------------------------------
    15. 

  15. 

  16. constraints: transformers == 0.6.*
    17. 

  17. allow-newer: *:transformers
    18. 

  18. 

  19. -- equivalence
    20. 

  20. ------------------------------------------------------------------------
    21. 

  21. 

  22. constraints: equivalence  == 0.4
    23. 

  23. allow-newer: *:equivalence
    24. 

  24. 

  25. -- =====================================================================
    26. 

  26. -- Unreleased versions needed to test mtl-2.3-rc3
    27. 

  27. -- =====================================================================
    28. 

  28. 

  29. -- mtl
    30. 

  30. ------------------------------------------------------------------------
    31. 

  31. 

  32. source-repository-package
    33. 

  33.   type: git
    34. 

  34.   location: https://github.com/haskell/mtl.git
    35. 

  35.   tag: v2.3-rc3
    36. 

  36. 

  37. constraints: mtl == 2.3.*
    38. 

  38. allow-newer: *:mtl
    39. 

  39. 

  40. -- happy
    41. 

  41. ------------------------------------------------------------------------
    42. 

  42. 

  43. source-repository-package
    44. 

  44.   type: git
    45. 

  45.   location: git@github.com:simonmar/happy.git
    46. 

  46.   subdir: .
    47. 

  47.   subdir: packages/backend-glr
    48. 

  48.   subdir: packages/backend-lalr
    49. 

  49.   subdir: packages/codegen-common
    50. 

  50.   subdir: packages/frontend
    51. 

  51.   subdir: packages/grammar
    52. 

  52.   subdir: packages/tabular
    53. 

  53. 

  54. constraints: happy == 1.21.*
    55. 

  55. allow-newer: *:happy
    56. 

  56. 

  57. -- exceptions
    58. 

  58. ------------------------------------------------------------------------
    59. 

  59. 

  60. source-repository-package
    61. 

  61.   type: git
    62. 

  62.   location: git@github.com:ekmett/exceptions
    63. 

  63.   tag: 28b9b49a51deb7c1343e003dafb4c69ef79f2e8b
    64. 

  64. 

  65. -- random
    66. 

  66. ------------------------------------------------------------------------
    67. 

  67. 

  68. source-repository-package
    69. 

  69.   type: git
    70. 

  70.   location: https://github.com/haskell/random.git
    71. 

  71.   tag: 5ecc8935994159c6d39088233a0887714aacaf5e
    72. 

  72. 

  73. constraints: random == 1.3.*
    74. 

  74. allow-newer: *:random
    75. 

  75.