mirror of
https://github.com/boostorg/build.git
synced 2026-02-15 13:02:11 +00:00
117 lines
3.2 KiB
Plaintext
117 lines
3.2 KiB
Plaintext
# Copyright (C) Vladimir Prus 2002-2005.
|
|
|
|
# Use, modification and distribution is subject to the Boost Software
|
|
# License Version 1.0. (See accompanying file LICENSE_1_0.txt or
|
|
# http://www.boost.org/LICENSE_1_0.txt)
|
|
|
|
# This module implements support for Whale/Dolphin/WD parser/lexer tools.
|
|
# See http://www.cs.queensu.ca/home/okhotin/whale/ for details.
|
|
#
|
|
# There are three interesting target types:
|
|
# - WHL (the parser sources), that are converted to CPP and H
|
|
# - DLP (the lexer sources), that are converted to CPP and H
|
|
# - WD (combined parser/lexer sources), that are converted to WHL + DLP
|
|
|
|
import type ;
|
|
import generators ;
|
|
import path ;
|
|
import "class" : new ;
|
|
import errors ;
|
|
|
|
rule init ( path # path the Whale/Dolphin/WD binaries
|
|
)
|
|
{
|
|
if $(.configured) && $(.path) != $(path)
|
|
{
|
|
errors.user-error "Attempt to reconfigure Whale support" :
|
|
"Previously configured with path \"$(.path:E=<empty>)\"" :
|
|
"Now configuring with path \"$(path:E=<empty>)\"" ;
|
|
|
|
}
|
|
.configured = true ;
|
|
.path = $(path) ;
|
|
|
|
.whale = [ path.join $(path) whale ] ;
|
|
.dolphin = [ path.join $(path) dolphin ] ;
|
|
.wd = [ path.join $(path) wd ] ;
|
|
}
|
|
|
|
|
|
# Declare the types.
|
|
type.register WHL : whl ;
|
|
type.register DLP : dlp ;
|
|
type.register WHL_LR0 : lr0 ;
|
|
type.register WD : wd ;
|
|
|
|
# Declare standard generators.
|
|
generators.register-standard whale.whale : WHL : CPP H H(%_symbols) ;
|
|
generators.register-standard whale.dolphin : DLP : CPP H ;
|
|
generators.register-standard whale.wd : WD : WHL(%_parser) DLP(%_lexer) ;
|
|
|
|
# The conversions defines above a ambiguious when we generated CPP from WD.
|
|
# We can either go via WHL type, or via DLP type.
|
|
# The following custom generator handles this by running both conversions.
|
|
|
|
class wd-to-cpp : generator
|
|
{
|
|
rule __init__ ( * : * : * )
|
|
{
|
|
generator.__init__ $(1) : $(2) : $(3) ;
|
|
}
|
|
|
|
rule run ( project name ? : property-set : source * )
|
|
{
|
|
if ! $(source[2])
|
|
{
|
|
local new-sources ;
|
|
if ! [ $(source).type ] in WHL DLP
|
|
{
|
|
local r1 = [ generators.construct $(project) $(name)
|
|
: WHL : $(property-set) : $(source) ] ;
|
|
local r2 = [ generators.construct $(project) $(name)
|
|
: DLP : $(property-set) : $(source) ] ;
|
|
|
|
new-sources = [ sequence.unique $(r1[2-]) $(r2[2-]) ] ;
|
|
}
|
|
else
|
|
{
|
|
new-sources = $(source) ;
|
|
}
|
|
|
|
local result ;
|
|
for local i in $(new-sources)
|
|
{
|
|
local t = [ generators.construct $(project) $(name) : CPP
|
|
: $(property-set) : $(i) ] ;
|
|
result += $(t[2-]) ;
|
|
}
|
|
return $(result) ;
|
|
}
|
|
}
|
|
|
|
}
|
|
|
|
|
|
generators.override whale.wd-to-cpp : whale.whale ;
|
|
generators.override whale.wd-to-cpp : whale.dolphin ;
|
|
|
|
|
|
generators.register [ new wd-to-cpp whale.wd-to-cpp : : CPP ] ;
|
|
|
|
|
|
actions whale
|
|
{
|
|
$(.whale) -d $(<[1]:D) $(>)
|
|
}
|
|
|
|
actions dolphin
|
|
{
|
|
$(.dolphin) -d $(<[1]:D) $(>)
|
|
}
|
|
|
|
actions wd
|
|
{
|
|
$(.wd) -d $(<[1]:D) -g $(>)
|
|
}
|
|
|