Package Details: jflap 7.1-1

Git Clone URL: https://aur.archlinux.org/jflap.git (read-only, click to copy)
Package Base: jflap
Description: Software to learning the basic concepts of Formal Languages and Automata Theory
Upstream URL: http://www.jflap.org/
Licenses: CCPL
Submitter: None
Maintainer: robertfoster
Last Packager: robertfoster
Votes: 23
Popularity: 0.000356
First Submitted: 2008-04-30 20:55 (UTC)
Last Updated: 2019-11-16 09:20 (UTC)

Dependencies (1)

Required by (0)

Sources (4)

Latest Comments

Herbort11 commented on 2021-03-17 23:52 (UTC) (edited on 2021-03-17 23:55 (UTC) by Herbort11)

Suggestion: add -Dawt.useSystemAAFontSettings=on to java parameters in jflap.sh for font anti-aliasing, otherwise, at least in my case (Plasma desktop), fonts don't look good.

Capricious-frog commented on 2019-11-16 11:31 (UTC)

The md5sum has been fixed and it's working now

Cent commented on 2019-03-06 10:20 (UTC)

Hi, the md5sum does not pass anymore. Does anyone know why?

palasso commented on 2018-08-20 07:41 (UTC)

I made some changes to the PKGBUILD. Please have a look at it: https://bpaste.net/show/0ea27e6d3618

Has some typo fixes, makes code more consistent and fixes some mistakes (e.g. license which can be found in JFLAP7.1.jar)

In my PKGBUILD I don't use a "jflap.sh", instead I just use the exec field of jflap.desktop which can be seen here: https://bpaste.net/show/35773381716e (I retained the all capital name as that's how it's branded and removed the gtk theme as it doesn't look good in all cases (specifically it has bad font rendering on my system))

cl0ne commented on 2016-10-01 00:02 (UTC)

Please, add `noextract=('JFLAP.jar')` to PKGBUILD

swyter commented on 2015-05-22 11:43 (UTC)

You might be interested in this package instead, added the right dependencies, GTK look-and-feel and a traced SVG icon: https://aur.archlinux.org/packages/jflap-beta/

sumt commented on 2015-01-31 09:13 (UTC)

depends=('java-environment') could be changed to, depends=('java-runtime')

Carlinix commented on 2011-09-07 04:28 (UTC)

Please change to http://www.cs.duke.edu/csed/jflap/jflaptmp/may15-2011/withoutSource/JFLAP.jar and MD5: 95d5f8f9f098331f6f61c24f7931589f And modify arch to any