2019-06-16 14:09:52 -04:00
|
|
|
#!/usr/bin/ruby -pi
|
|
|
|
BEGIN {
|
2019-07-14 19:54:34 -04:00
|
|
|
require_relative 'lib/colorize'
|
2019-06-16 14:09:52 -04:00
|
|
|
|
|
|
|
colorize = Colorize.new
|
|
|
|
file = ARGV.shift
|
2019-08-03 01:20:36 -04:00
|
|
|
begin
|
|
|
|
version = IO.popen(ARGV+%w[--version], &:read)
|
|
|
|
rescue Errno::ENOENT
|
|
|
|
abort "Failed to run `#{colorize.fail ARGV.join(' ')}'; You may have to install it."
|
|
|
|
end
|
|
|
|
unless /\Abison .* (\d+)\.\d+/ =~ version
|
2019-06-16 14:09:52 -04:00
|
|
|
puts colorize.fail("not bison")
|
|
|
|
exit
|
|
|
|
end
|
|
|
|
exit if $1.to_i >= 3
|
|
|
|
ARGV.clear
|
|
|
|
ARGV.push(file)
|
|
|
|
}
|
|
|
|
$_.sub!(/^%define\s+api\.pure/, '%pure-parser')
|