PN: make PV: 4.3 PR: r0 PKGV: 4.3 PKGR: r0@EXTENDPRAUTO@ LICENSE: GPLv3 DESCRIPTION_make-dev: Make is a tool which controls the generation of executables and other non-source files of a program from the program's source files. Make gets its knowledge of how to build your program from a file called the makefile, which lists each of the non-source files and how to compute it from other files. This package contains symbolic links, header files, and related items necessary for software development. SUMMARY_make-dev: GNU tool that controls the build process - Development files RDEPENDS_make-dev: make (= 4.3-r0@EXTENDPRAUTO@) RRECOMMENDS_make-dev: glibc-dev SECTION_make-dev: devel PKG_make-dev: make-dev ALLOW_EMPTY_make-dev: 1 FILES_make-dev: /usr/include /lib/lib*.so /usr/lib/lib*.so /usr/lib/*.la /usr/lib/*.o /usr/lib/pkgconfig /usr/share/pkgconfig /usr/share/aclocal /lib/*.o /usr/lib/make/*.la /lib/*.la /usr/lib/cmake /usr/share/cmake FILES_INFO: {"/usr/include/gnumake.h": 2912} PKGSIZE_make-dev: 2912