Path to this page:
./
devel/maketool,
Graphical front end to GNU make
Branch: pkgsrc-2020Q1,
Version: 0.7nb5,
Package name: maketool-0.7nb5,
Maintainer: pkgsrc-usersMaketool is a simple GTK based GUI front end for GNU make.
Figures out what targets are available and presents them in a menu.
Runs make and detects compiler errors in the output, allowing you
to click on the errors to edit the corresponding source.
Master sites:
SHA1: e1a8e1e9d52074e232ac43180e376ad50a7db7b5
RMD160: 74acc5c8d6f4933aef18e0d85c906e515f588035
Filesize: 212.996 KB
Version history: (Expand)
- (2020-04-20) Package has been reborn
- (2020-04-19) Package added to pkgsrc.se, version maketool-0.7nb5 (created)