K 10 svn:author V 6 marino K 8 svn:date V 27 2014-06-03T13:37:05.828635Z K 7 svn:log V 237 devel/frama-c: Re-stage to correct -print-libpath The approach to staging had a bug. frama-c -print-libpath returned a path to /wrkdirs (the standard work directory in poudriere). Improve staging so frama-c knows where its installed. END