2017-11-03 08:34:41 +01:00
|
|
|
declare-option -docstring "shell command run to build the project" \
|
2017-05-16 13:35:43 +02:00
|
|
|
str makecmd make
|
2017-11-03 08:34:41 +01:00
|
|
|
declare-option -docstring "pattern that describes lines containing information about errors in the output of the `makecmd` command" \
|
2023-10-26 04:13:07 +02:00
|
|
|
str make_error_pattern "^(?:\w:)?[^:\n]+:\d+:(?:\d+:)? (?:fatal )?error:"
|
2016-12-06 15:47:03 +01:00
|
|
|
|
2017-11-03 08:34:41 +01:00
|
|
|
declare-option -docstring "name of the client in which utilities display information" \
|
2017-05-16 13:35:43 +02:00
|
|
|
str toolsclient
|
2017-11-03 08:34:41 +01:00
|
|
|
declare-option -hidden int make_current_error_line
|
2013-01-06 19:21:42 +01:00
|
|
|
|
2017-11-03 08:34:41 +01:00
|
|
|
define-command -params .. \
|
2020-02-03 20:53:28 +01:00
|
|
|
-docstring %{
|
|
|
|
make [<arguments>]: make utility wrapper
|
|
|
|
All the optional arguments are forwarded to the make utility
|
|
|
|
} make %{ evaluate-commands %sh{
|
2017-06-09 13:05:31 +02:00
|
|
|
output=$(mktemp -d "${TMPDIR:-/tmp}"/kak-make.XXXXXXXX)/fifo
|
2012-09-12 19:54:46 +02:00
|
|
|
mkfifo ${output}
|
2021-11-05 17:43:18 +01:00
|
|
|
( eval "${kak_opt_makecmd}" "$@" > ${output} 2>&1 & ) > /dev/null 2>&1 < /dev/null
|
2013-02-21 13:38:12 +01:00
|
|
|
|
2017-11-03 09:09:45 +01:00
|
|
|
printf %s\\n "evaluate-commands -try-client '$kak_opt_toolsclient' %{
|
2014-05-02 19:58:04 +02:00
|
|
|
edit! -fifo ${output} -scroll *make*
|
2017-11-03 08:34:41 +01:00
|
|
|
set-option buffer filetype make
|
|
|
|
set-option buffer make_current_error_line 0
|
2018-08-19 00:04:31 +02:00
|
|
|
hook -always -once buffer BufCloseFifo .* %{ nop %sh{ rm -r $(dirname ${output}) } }
|
2013-12-07 14:56:56 +01:00
|
|
|
}"
|
2012-08-07 13:52:49 +02:00
|
|
|
}}
|
|
|
|
|
2018-06-28 13:08:58 +02:00
|
|
|
add-highlighter shared/make group
|
|
|
|
add-highlighter shared/make/ regex "^((?:\w:)?[^:\n]+):(\d+):(?:(\d+):)?\h+(?:((?:fatal )?error)|(warning)|(note)|(required from(?: here)?))?.*?$" 1:cyan 2:green 3:green 4:red 5:yellow 6:blue 7:yellow
|
|
|
|
add-highlighter shared/make/ regex "^\h*(~*(?:(\^)~*)?)$" 1:green 2:cyan+b
|
|
|
|
add-highlighter shared/make/ line '%opt{make_current_error_line}' default+b
|
2013-12-03 23:15:59 +01:00
|
|
|
|
2018-11-28 10:39:07 +01:00
|
|
|
hook -group make-highlight global WinSetOption filetype=make %{
|
|
|
|
add-highlighter window/make ref make
|
2018-12-11 00:11:35 +01:00
|
|
|
hook -once -always window WinSetOption filetype=.* %{ remove-highlighter window/make }
|
2018-11-28 10:39:07 +01:00
|
|
|
}
|
2016-09-25 15:15:07 +02:00
|
|
|
|
2012-08-07 13:52:49 +02:00
|
|
|
hook global WinSetOption filetype=make %{
|
2016-07-11 20:47:56 +02:00
|
|
|
hook buffer -group make-hooks NormalKey <ret> make-jump
|
2018-12-11 00:11:35 +01:00
|
|
|
hook -once -always window WinSetOption filetype=.* %{ remove-hooks buffer make-hooks }
|
2016-09-28 08:45:01 +02:00
|
|
|
}
|
2012-08-07 13:52:49 +02:00
|
|
|
|
2017-11-03 08:34:41 +01:00
|
|
|
declare-option -docstring "name of the client in which all source code jumps will be executed" \
|
2017-05-16 13:35:43 +02:00
|
|
|
str jumpclient
|
2014-04-04 17:34:43 +02:00
|
|
|
|
2018-02-19 11:43:43 +01:00
|
|
|
define-command -hidden make-open-error -params 4 %{
|
|
|
|
evaluate-commands -try-client %opt{jumpclient} %{
|
|
|
|
edit -existing "%arg{1}" %arg{2} %arg{3}
|
2019-11-28 10:22:40 +01:00
|
|
|
echo -markup "{Information}{\}%arg{4}"
|
2018-02-19 11:43:43 +01:00
|
|
|
try %{ focus }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-11-03 08:34:41 +01:00
|
|
|
define-command -hidden make-jump %{
|
2018-02-24 09:02:15 +01:00
|
|
|
evaluate-commands %{
|
2016-03-20 17:37:58 +01:00
|
|
|
try %{
|
2017-11-03 09:09:45 +01:00
|
|
|
execute-keys gl<a-?> "Entering directory" <ret><a-:>
|
2017-02-13 14:52:51 +01:00
|
|
|
# Try to parse the error into capture groups, failing on absolute paths
|
2018-03-30 00:18:06 +02:00
|
|
|
execute-keys s "Entering directory [`']([^']+)'.*\n([^:/][^:]*):(\d+):(?:(\d+):)?([^\n]+)\z" <ret>l
|
2017-11-03 08:34:41 +01:00
|
|
|
set-option buffer make_current_error_line %val{cursor_line}
|
2018-02-19 11:43:43 +01:00
|
|
|
make-open-error "%reg{1}/%reg{2}" "%reg{3}" "%reg{4}" "%reg{5}"
|
2016-03-20 17:37:58 +01:00
|
|
|
} catch %{
|
2017-11-03 09:09:45 +01:00
|
|
|
execute-keys <a-h><a-l> s "((?:\w:)?[^:]+):(\d+):(?:(\d+):)?([^\n]+)\z" <ret>l
|
2017-11-03 08:34:41 +01:00
|
|
|
set-option buffer make_current_error_line %val{cursor_line}
|
2018-02-19 11:43:43 +01:00
|
|
|
make-open-error "%reg{1}" "%reg{2}" "%reg{3}" "%reg{4}"
|
2016-03-20 17:37:58 +01:00
|
|
|
}
|
2013-12-13 14:58:12 +01:00
|
|
|
}
|
|
|
|
}
|
2014-06-18 20:30:40 +02:00
|
|
|
|
2017-11-03 08:34:41 +01:00
|
|
|
define-command make-next-error -docstring 'Jump to the next make error' %{
|
2018-02-24 09:02:15 +01:00
|
|
|
evaluate-commands -try-client %opt{jumpclient} %{
|
2014-06-18 20:30:40 +02:00
|
|
|
buffer '*make*'
|
2023-10-26 04:13:07 +02:00
|
|
|
execute-keys "%opt{make_current_error_line}ggl" "/%opt{make_error_pattern}<ret>"
|
2015-08-05 00:10:08 +02:00
|
|
|
make-jump
|
2014-06-18 20:30:40 +02:00
|
|
|
}
|
2022-10-16 19:11:41 +02:00
|
|
|
try %{
|
|
|
|
evaluate-commands -client %opt{toolsclient} %{
|
|
|
|
buffer '*make*'
|
|
|
|
execute-keys %opt{make_current_error_line}g
|
|
|
|
}
|
|
|
|
}
|
2014-06-18 20:30:40 +02:00
|
|
|
}
|
|
|
|
|
2017-11-03 08:34:41 +01:00
|
|
|
define-command make-previous-error -docstring 'Jump to the previous make error' %{
|
2018-02-24 09:02:15 +01:00
|
|
|
evaluate-commands -try-client %opt{jumpclient} %{
|
2014-06-18 20:30:40 +02:00
|
|
|
buffer '*make*'
|
2023-10-26 04:13:07 +02:00
|
|
|
execute-keys "%opt{make_current_error_line}g" "<a-/>%opt{make_error_pattern}<ret>"
|
2015-08-05 00:10:08 +02:00
|
|
|
make-jump
|
2014-06-18 20:30:40 +02:00
|
|
|
}
|
2022-10-16 19:11:41 +02:00
|
|
|
try %{
|
|
|
|
evaluate-commands -client %opt{toolsclient} %{
|
|
|
|
buffer '*make*'
|
|
|
|
execute-keys %opt{make_current_error_line}g
|
|
|
|
}
|
|
|
|
}
|
2014-06-18 20:30:40 +02:00
|
|
|
}
|