PN: make
PV: 4.4.1
PR: r0
PKGV: 4.4.1
PKGR: r0@EXTENDPRAUTO@
LICENSE: GPL-3.0-only
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
RRECOMMENDS:make-dev: make (= 4.4.1-r0@EXTENDPRAUTO@) glibc-dev
SECTION:make-dev: devel
PKG:make-dev: make-dev
ALLOW_EMPTY:make-dev: 1
FILES:make-dev: /usr/include /usr/lib/lib*.so /usr/lib/lib*.so /usr/lib/*.la                 /usr/lib/*.o /usr/lib/pkgconfig /usr/share/pkgconfig                 /usr/share/aclocal /usr/lib/*.o                 /usr/lib/make/*.la /usr/lib/*.la                 /usr/lib/cmake /usr/share/cmake
FILES_INFO:make-dev: {"/usr/include/gnumake.h": 2913}
PKGSIZE:make-dev: 2913
