misc/ini_file_manager: add Library_Kind definition to gpr file

While here, simpilify install target with modern knobs

2 files changed, 6 insertions, 7 deletions

diff --git a/misc/ini_file_manager/Makefile b/misc/ini_file_manager/Makefile
index df9b1deb4921..905d68543ffe 100644
--- a/misc/ini_file_manager/Makefile
+++ b/misc/ini_file_manager/Makefile
@@ -3,7 +3,7 @@
 
 PORTNAME=	ini_file_manager
 PORTVERSION=	03
-PORTREVISION=	1
+PORTREVISION=	2
 CATEGORIES=	misc
 MASTER_SITES=	http://sourceforge.net/projects/${SFPATH}/
 DISTNAME=	ini-files-${PORTVERSION}
@@ -21,8 +21,6 @@ PORTEXAMPLES=	example.gpr test_config.adb runme.sh
 
 OPTIONS_DEFINE=	DOCS EXAMPLES
 
-.include <bsd.port.options.mk>
-
 post-extract:
 	${CP} ${FILESDIR}/construct.gpr ${WRKSRC}
 	${MKDIR} ${WRKSRC}/src
@@ -43,15 +41,15 @@ do-install:
 		${STAGEDIR}${PREFIX}/include/ini_file_manager
 	${INSTALL_DATA} ${WRKSRC}/lib/*  \
 		${STAGEDIR}${PREFIX}/lib/ini_file_manager
-.if ${PORT_OPTIONS:MDOCS}
+
+do-install-DOCS-on:
 	${MKDIR} ${STAGEDIR}${DOCSDIR}
 	${INSTALL_DATA} ${WRKSRC}/ini_file_manager.txt ${STAGEDIR}${DOCSDIR}
-.endif
-.if ${PORT_OPTIONS:MEXAMPLES}
+
+do-install-EXAMPLES-on:
 	${MKDIR} ${STAGEDIR}${EXAMPLESDIR}
 	${INSTALL_SCRIPT} ${WRKSRC}/runme.sh ${STAGEDIR}${EXAMPLESDIR}
 	${INSTALL_DATA} ${WRKSRC}/test_config.adb \
 		${FILESDIR}/example.gpr ${STAGEDIR}${EXAMPLESDIR}
-.endif
 
 .include <bsd.port.mk>
diff --git a/misc/ini_file_manager/files/ini_file_manager.gpr b/misc/ini_file_manager/files/ini_file_manager.gpr
index 4da291c2da1c..699e1cceba77 100644
--- a/misc/ini_file_manager/files/ini_file_manager.gpr
+++ b/misc/ini_file_manager/files/ini_file_manager.gpr
@@ -3,5 +3,6 @@ project Ini_File_Manager is
    for Library_Name     use "inifiles";
    for Source_Dirs      use ("../../include/ini_file_manager");
    for Library_Dir      use "../../lib/ini_file_manager";
+   for Library_Kind     use "static";
    for Externally_Built use "true";
 end Ini_File_Manager;