diff options
author | Gleb Popov <arrowd@FreeBSD.org> | 2024-03-25 18:58:52 +0000 |
---|---|---|
committer | Gleb Popov <arrowd@FreeBSD.org> | 2024-03-25 18:58:52 +0000 |
commit | 6740f2d7b2931d6015244f7c413d2e2018a9e58a (patch) | |
tree | 05572da2d6451bfab2890ac4832827eaf54877b5 | |
parent | baa96d4729d7b8c6bdc4e02129849ada8cc54ad3 (diff) |
misc/ini_file_manager: Mark BROKEN after gnat update
-rw-r--r-- | misc/ini_file_manager/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/misc/ini_file_manager/Makefile b/misc/ini_file_manager/Makefile index 28b593ea4c14..6a7059013960 100644 --- a/misc/ini_file_manager/Makefile +++ b/misc/ini_file_manager/Makefile @@ -11,6 +11,8 @@ WWW= https://sourceforge.net/projects/ini-files/ LICENSE= MIT +BROKEN= gnatmake: project files are no longer supported by gnatmake; use gprbuild instead + USES= ada zip dos2unix NO_WRKSUBDIR= yes |