FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

Please give me your LTO-4 or better tape library and I'll put it to good use.
Port details
gkmap Simplification of Boolean Functions using Karnaugh Map
0.2_1 math on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: javad.kouhi@gmail.com search for ports maintained by this maintainer
Port Added: 07 Aug 2013 22:31:58
License: GPLv2
GKmap is a free K-Map disclosure software, which is developed to solve
the Digital Electronics design problems. Along with design it also helps
in analysis of information flow in the digital circuits.

WWW: http://sourceforge.net/projects/gkmap/
SVNWeb : Homepage : Distfiles Availability : PortsMon

NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies:
  1. pkgconf : devel/pkgconf
  2. intltool-extract : textproc/intltool
Library dependencies:
  1. libatk-1.0.so : accessibility/atk
  2. libglib-2.0.so : devel/glib20
  3. libgtk-x11-2.0.so : x11-toolkits/gtk20
  4. libglade-2.0.so : devel/libglade2
  5. libxml2.so : textproc/libxml2
  6. libpango-1.0.so : x11-toolkits/pango
There are no ports dependent upon this port

To install the port: cd /usr/ports/math/gkmap/ && make install clean
To add the package: pkg install math/gkmap


Configuration Options
     No options to configure

USES:
pkgconfig

Master Sites:
  1. http://aarnet.dl.sourceforge.net/project/gkmap/gkmap/gkmap-0.2/
  2. http://distcache.FreeBSD.org/ports-distfiles/
  3. http://downloads.sourceforge.net/project/gkmap/gkmap/gkmap-0.2/
  4. http://freefr.dl.sourceforge.net/project/gkmap/gkmap/gkmap-0.2/
  5. http://garr.dl.sourceforge.net/project/gkmap/gkmap/gkmap-0.2/
  6. http://heanet.dl.sourceforge.net/project/gkmap/gkmap/gkmap-0.2/
  7. http://hivelocity.dl.sourceforge.net/project/gkmap/gkmap/gkmap-0.2/
  8. http://ignum.dl.sourceforge.net/project/gkmap/gkmap/gkmap-0.2/
  9. http://internode.dl.sourceforge.net/project/gkmap/gkmap/gkmap-0.2/
  10. http://iweb.dl.sourceforge.net/project/gkmap/gkmap/gkmap-0.2/
  11. http://jaist.dl.sourceforge.net/project/gkmap/gkmap/gkmap-0.2/
  12. http://kaz.dl.sourceforge.net/project/gkmap/gkmap/gkmap-0.2/
  13. http://kent.dl.sourceforge.net/project/gkmap/gkmap/gkmap-0.2/
  14. http://master.dl.sourceforge.net/project/gkmap/gkmap/gkmap-0.2/
  15. http://nchc.dl.sourceforge.net/project/gkmap/gkmap/gkmap-0.2/
  16. http://ncu.dl.sourceforge.net/project/gkmap/gkmap/gkmap-0.2/
  17. http://netcologne.dl.sourceforge.net/project/gkmap/gkmap/gkmap-0.2/
  18. http://sunet.dl.sourceforge.net/project/gkmap/gkmap/gkmap-0.2/
  19. http://superb-dca3.dl.sourceforge.net/project/gkmap/gkmap/gkmap-0.2/
  20. http://switch.dl.sourceforge.net/project/gkmap/gkmap/gkmap-0.2/
  21. http://tenet.dl.sourceforge.net/project/gkmap/gkmap/gkmap-0.2/
  22. http://ufpr.dl.sourceforge.net/project/gkmap/gkmap/gkmap-0.2/
  23. http://waix.dl.sourceforge.net/project/gkmap/gkmap/gkmap-0.2/

Number of commits found: 6

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
15 Nov 2014 12:20:54
Original commit files touched by this commit  0.2_1
Revision:372596
antoine search for other commits by this committer
Cleanup plist
18 Jun 2014 13:25:51
Original commit files touched by this commit  0.2_1
Revision:358273
vanilla search for other commits by this committer
Stagify.

Approved by:	portmgr@
16 Apr 2014 18:28:50
Original commit files touched by this commit  0.2_1
Revision:351411
zeising search for other commits by this committer
The FreeBSD x11@ and graphics team proudly presents
a zeising, kwm production, with help from dumbbell, bdrewery:

NEW XORG ON FREEBSD 9-STABLE AND 10-STABLE

This update switches over to use the new xorg stack by default on FreeBSD 9
and 10 stable, on osversions where vt(9) is available.
It is still possible to use the old stack by specifying WITHOUT_NEW_XORG in
/etc/make.conf .
FreeBSD 8-STABLE and released versions of FreeBSD still use
the old version.
A package repository with binary packages for new xorg will
be available soon.

This patch also contains updates of libxcb and related ports, pixman, as well
(Only the first 15 lines of the commit message are shown above View all of this commit message)
20 Sep 2013 20:55:06
Original commit files touched by this commit  0.2
Revision:327746
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
03 Sep 2013 06:36:42
Refresh Original commit files touched by this commit
Revision:326122  Sanity Test Failure
bapt search for other commits by this committer
Add an explicit dependency on pkgconf
07 Aug 2013 22:31:48
Original commit files touched by this commit  0.2
Revision:324367
wg search for other commits by this committer
math/gkmap: Simplification of Boolean Functions using Karnaugh Map

GKmap is a free K-Map disclosure software, which is developed to solve
the Digital Electronics design problems. Along with design it also helps
in analysis of information flow in the digital circuits.

WWW: http://sourceforge.net/projects/gkmap/

PR:		ports/180981
Submitted by:	Javad Kouhi <javad.kouhi gmail.com>

Number of commits found: 6

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
cross-binutilsMar 24
jenkinsMar 24
jenkins-ltsMar 24
libressl*Mar 24
linux-c6-openssl*Mar 24
mingw32-openssl*Mar 24
mingw64-binutilsMar 24
openssl*Mar 24
firefoxMar 22
firefox-esrMar 22
libxulMar 22
linux-firefoxMar 22
linux-seamonkeyMar 22
seamonkeyMar 22
sympaMar 13

6 vulnerabilities affecting 26 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 24712
Broken 104
Deprecated 143
Ignore 394
Forbidden 3
Restricted 206
No CDROM 94
Vulnerable 21
Expired 0
Set to expire 136
Interactive 0
new 24 hours 4
new 48 hours9
new 7 days18
new fortnight33
new month118

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2014 Dan Langille. All rights reserved.