[Git][haskell-team/agda-stdlib][master] Install build artifacts under '/usr/share/agda-stdlib/_build/'

Ilias Tsitsimpis (@iliastsi) gitlab at salsa.debian.org
Wed Oct 23 16:48:09 BST 2024



Ilias Tsitsimpis pushed to branch master at Debian Haskell Group / agda-stdlib


Commits:
07d5e3dc by Ilias Tsitsimpis at 2024-10-23T18:30:15+03:00
Install build artifacts under '/usr/share/agda-stdlib/_build/'

Install build artifacts under
'/usr/share/agda-stdlib/_build/<ver>/agda/src/', instead of
'/usr/share/agda-stdlib/src'. The new path contains the version of the
agda compiler with which the artifacts were compiled, and ensures we
don't try to use them with a different version of the compiler.

- - - - -


3 changed files:

- debian/60agda-stdlib.el
- debian/agda-stdlib.install
- debian/changelog


Changes:

=====================================
debian/60agda-stdlib.el
=====================================
@@ -2,4 +2,4 @@
 ;; variable in his/her own session. But that is probably the intended behaviour
 ;; anyway.
 
-(setq agda2-program-args '("-i." "-i/usr/share/agda-stdlib"))
+(setq agda2-program-args '("-i." "-i/usr/share/agda-stdlib/src"))


=====================================
debian/agda-stdlib.install
=====================================
@@ -1,4 +1,4 @@
-_build/*/agda/src/ usr/share/agda-stdlib/
+_build/ usr/share/agda-stdlib/
 src/ usr/share/agda-stdlib/
 standard-library.agda-lib usr/share/agda-stdlib/
 debian/60agda-stdlib.el etc/emacs/site-start.d/


=====================================
debian/changelog
=====================================
@@ -1,3 +1,11 @@
+agda-stdlib (2.1-2) unstable; urgency=medium
+
+  * Fix import path for elpa-agda2-mode.
+    Thanks Kei Hibino for the patch (Closes: #1085873)
+  * Install build artifacts under '/usr/share/agda-stdlib/_build/'
+
+ -- Ilias Tsitsimpis <iliastsi at debian.org>  Wed, 23 Oct 2024 18:28:19 +0300
+
 agda-stdlib (2.1-1) unstable; urgency=medium
 
   * New upstream release



View it on GitLab: https://salsa.debian.org/haskell-team/agda-stdlib/-/commit/07d5e3dc0b170eed24edb93b5d67bb539f6d6285

-- 
View it on GitLab: https://salsa.debian.org/haskell-team/agda-stdlib/-/commit/07d5e3dc0b170eed24edb93b5d67bb539f6d6285
You're receiving this email because of your account on salsa.debian.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://alioth-lists.debian.net/pipermail/pkg-haskell-commits/attachments/20241023/40c8849e/attachment-0001.htm>


More information about the Pkg-haskell-commits mailing list