Bug 246254 - math/hs-Agda: agda-mode files missing
Summary: math/hs-Agda: agda-mode files missing
Status: Closed FIXED
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: --- Affects Many People
Assignee: freebsd-haskell (Nobody)
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2020-05-06 12:33 UTC by fractran
Modified: 2020-05-06 20:32 UTC (History)
2 users (show)

See Also:
bugzilla: maintainer-feedback? (haskell)

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description fractran 2020-05-06 12:33:29 UTC 
The port does not contain the emacs agda-mode files.
Comment 1 Gleb Popov freebsd_committer freebsd_triage 2020-05-06 15:47:06 UTC 
I'm a bit obscured. agda-mode executable doesn't seem to work correctly.

Do I need to simply install .el files or fix agda-mode too?
Comment 2 fractran 2020-05-06 16:33:38 UTC 
(In reply to Gleb Popov from comment #1)

Unfortunately yes, agda-mode needs to be fixed too.

Currently 'agda-mode locate' provides a path for the agda2.el file in the ports' temporary work directory which is correct until cleaning.
Comment 3 Gleb Popov freebsd_committer freebsd_triage 2020-05-06 18:33:37 UTC 
I have fixed the path agda-mode outputs and also installed .el files. The "agda-mode compile" produces .elc files, should I install them too?
Comment 4 fractran 2020-05-06 19:11:01 UTC 
(In reply to Gleb Popov from comment #3)

Thank you for your fast reply!

After the installation I need to run "agda-mode setup" anyway so I don't mind compiling the scripts afterwards with "agda-mode compile".

But I have little experience with ports and I don't know whether it is common practice to include them or not.
Comment 5 Gleb Popov freebsd_committer freebsd_triage 2020-05-06 19:16:55 UTC 
(In reply to fractran from comment #4)
If you are going to run this command yourself, it wouldn't work, as it would try to create .elc files in LOCALBASE, which is not writable by a regular user.

I guess, I'll have to generate this files during built and install them too.

I'll commit a fix for this shortly.
Comment 6 commit-hook freebsd_committer freebsd_triage 2020-05-06 20:31:31 UTC 
A commit references this bug:

Author: arrowd
Date: Wed May  6 20:31:29 UTC 2020
New revision: 534200
URL: https://svnweb.freebsd.org/changeset/ports/534200

Log:
  math/hs-Agda: Install emacs mode files.

  PR:		246254

Changes:
  head/math/hs-Agda/Makefile
  head/math/hs-Agda/pkg-plist
Comment 7 Gleb Popov freebsd_committer freebsd_triage 2020-05-06 20:32:14 UTC 
Should be fixed now. Bug me again, if it doesn't work for you.