Bug#398897: ocaml-tools: omlet does not respect the efm variable

January 19th, 2012 - 04:50 am ET by Cyril Soldani | Report spam


tags 398897 + patch
thanks

Hello,

Here is a patch extending efm to account for make recursive
invocations.

efm is set to the same value as in ftplugin/ocaml.vim provided with vim
7.3. This includes verbatim every pattern that is included with
upstream OMLet so that it should be no worse than current version.

I tested it quickly and it seems to jump properly to error locations
both with and without recursive make.

Cheers,
"As we enjoy great Advantages from the Inventions of others, we should
be glad of an Opportunity to serve others by any Invention of ours;
and this we should do freely and generously." Benjamin Franklin

Cyril Soldani <devmusings@legiasoft.com>
http://devmusings.legiasoft.com/


omlet.vim 2012-01-19 09:19:13.017898855 +0100
+++ omlet.vim.new 2012-01-19 09:22:27.388449492 +0100
@@ -49,7 +49,12 @@
\%Eocamlyacc:\ e\ -\ line\ %l\ of\ \"%f\"\\,\ %m,
\%Wocamlyacc:\ w\ -\ %m,
\%-Zmake%.%#,
- \%C%m
+ \%C%m,
+ \%D%*\\a[%*\\d]:\ Entering\ directory\ `%f',
+ \%X%*\\a[%*\\d]:\ Leaving\ directory\ `%f',
+ \%D%*\\a:\ Entering\ directory\ `%f',
+ \%X%*\\a:\ Leaving\ directory\ `%f',
+ \%DMaking\ %*\\a\ in\ %f

" Add mappings, unless the user didn't want this.
if !exists("no_plugin_maps") && !exists("no_ocaml_maps")







To UNSUBSCRIBE, email to debian-bugs-dist-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
email Follow the discussionReplies 1 replyReplies Make a reply

Similar topics

Replies

#1 owner
January 19th, 2012 - 04:50 am ET | Report spam
Processing commands for :

tags 398897 + patch


Bug #398897 [ocaml-tools] ocaml-tools: omlet does not respect the efm variable
Added tag(s) patch.
thanks


Stopping processing here.

Please contact me if you need assistance.
398897: http://bugs.debian.org/cgi-bin/bugr...i?bug98897
Debian Bug Tracking System
Contact with problems


To UNSUBSCRIBE, email to
with a subject of "unsubscribe". Trouble? Contact
Archive: http://lists.debian.org/
email Follow the discussion Replies Reply to this message
Help Create a new topicReplies Make a reply
Search Make your own search