Package Details: inform7-ide 2.0.0-1

Git Clone URL: https://aur.archlinux.org/inform7-ide.git (read-only, click to copy)
Package Base: inform7-ide
Description: a ide for the inform language/compiler
Upstream URL: https://github.com/ptomato/inform7-ide
Licenses: GPL-3.0-or-later
Conflicts: inform7-ide
Provides: inform7-ide
Submitter: silverhikari
Maintainer: silverhikari
Last Packager: silverhikari
Votes: 24
Popularity: 0.000000
First Submitted: 2022-09-06 01:32 (UTC)
Last Updated: 2024-07-30 21:04 (UTC)

Latest Comments

1 2 3 Next › Last »

Baytars commented on 2022-08-04 03:50 (UTC)

Version check logic questionable. Does it only judge if the first character of the middle version number (2 of 26) is greater than 8?

checking for perl >= 5.8.1... 5.26.2
checking for XML::Parser... configure: error: XML::Parser perl module is required for intltool
==> ERROR: A failure occurred in build().
    Aborting...

0118999881999119 commented on 2022-05-07 19:42 (UTC)

Using the webkitgtk2-bin package to satisfy the webkitgtk2 dependency resulted in linker errors. This may be a bug with the webkitgtk2-bin package, but in any case, gnome-inform7 builds fine if you use the webkitgtk2 package instead.

morganmay commented on 2021-06-10 00:38 (UTC)

Version 6M62-4 depends on missing package gtksourceview2. If I remove the dependency from the PKGBUILD (or change it to gtksourceview3), the package builds, but gnome-inform7 fails with the error:

gnome-inform7: symbol lookup error: gnome-inform7: undefined symbol: gtk_source_iter_forward_search

net147 commented on 2019-06-26 13:12 (UTC)

@rthrd Updated.

rthrd commented on 2019-06-26 12:58 (UTC)

inform7.com is being refactored. The current source url ought to be "http://inform7.com/apps/${pkgver}/I7_${pkgver}_Linux_all.tar.gz"

net147 commented on 2018-08-21 12:37 (UTC)

@emacsomancer Try rebuilding webkitgtk2.

emacsomancer commented on 2018-08-18 18:09 (UTC)

with the update, I get

make: *** [Makefile:449: all] Error 2
==> ERROR: A failure occurred in build().
    Aborting...
Error making: gnome-inform7

net147 commented on 2018-08-14 23:48 (UTC)

@blackholebomb Updated

blackholebomb commented on 2018-08-14 23:11 (UTC)

Whoops, I meant to post that which I said over on the inform7 package to here, my bad.

roelkluin commented on 2017-12-17 22:56 (UTC)

This package no longer builds after webkitgtk2 and/or enchant updates.

1 2 3 Next › Last »