On Sun, Jul 14, 2019 at 2:56 PM Bram Moolenaar <[email protected]> wrote: > > > Tony wrote: > > > "profiling.c" and "profiling.pro" should be "profiler.c" and > > "profiler.pro" respectively. > > I'll correct that in the text. > > > If (like me) you're compiling in a shadow > > directory, you must link profiler.c, not profiling.c, from the > > shadowdir to its parent, i.e. (the shadow directory being current, and > > assuming a Unix-like OS) > > > > ln -sv ../profiler.c > > "make shadow" takes care of that, right? Or does that not work if the > directory already exists? I suppose that never worked then.
"make shadow" takes care of linking src/proto to proto one level higher, so that new *.pro files created afterward are automatically taken care of. "make shadow" also links $SHADOWDIR/*.c one by one to src/*.c but when doing incremental compiles in an _existing_ shadowdir, _new_ *.c and *.h sources which did not exist when the shadowdir was created must be linked manually. Some time ago I proposed to add a rule for that in the Makefile, which would create the link if a missing file existed in the directory one level higher, but that post seems to have fallen off the radar... let me find it back... ah, here: https://groups.google.com/d/msg/vim_dev/lH4KGoz3Ppo/PcgWEmJWBQAJ > > > profiler.pro will be linked automatically by virtue of the link proto > > -> ../proto in the src directory. > > -- > Save the plankton - eat a whale. Best regards, Tony. -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/vim_dev/CAJkCKXuyA%3D%3DVcQUd6yG-pUufvWRDEFZ__2zrWAyFePMZ3H-jJQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
