Commit 6e6b307b authored by Gérard Huet's avatar Gérard Huet

Min_lexer replaces Zen_lexer

parent 197e1ef8
...@@ -22,8 +22,6 @@ ...@@ -22,8 +22,6 @@
../ZEN/minimap.cmi ../ZEN/minimap.cmi
../ZEN/minimap.cmx : ../ZEN/share.cmx ../ZEN/lexmap.cmx ../ZEN/deco.cmx \ ../ZEN/minimap.cmx : ../ZEN/share.cmx ../ZEN/lexmap.cmx ../ZEN/deco.cmx \
../ZEN/minimap.cmi ../ZEN/minimap.cmi
../ZEN/zen_lexer.cmo :
../ZEN/zen_lexer.cmx :
control.cmo : control.cmo :
control.cmx : control.cmx :
version.cmo : version.cmo :
...@@ -32,8 +30,10 @@ date.cmo : version.cmo ...@@ -32,8 +30,10 @@ date.cmo : version.cmo
date.cmx : version.cmx date.cmx : version.cmx
canon.cmo : ../ZEN/word.cmo canon.cmo : ../ZEN/word.cmo
canon.cmx : ../ZEN/word.cmx canon.cmx : ../ZEN/word.cmx
transduction.cmo : ../ZEN/zen_lexer.cmo min_lexer.cmo :
transduction.cmx : ../ZEN/zen_lexer.cmx min_lexer.cmx :
transduction.cmo : ../ZEN/zen_lexer.cmo min_lexer.cmo
transduction.cmx : ../ZEN/zen_lexer.cmx min_lexer.cmx
encode.cmo : ../ZEN/word.cmo transduction.cmo phonetics.cmo canon.cmo encode.cmo : ../ZEN/word.cmo transduction.cmo phonetics.cmo canon.cmo
encode.cmx : ../ZEN/word.cmx transduction.cmx phonetics.cmx canon.cmx encode.cmx : ../ZEN/word.cmx transduction.cmx phonetics.cmx canon.cmx
order.cmo : order.cmo :
...@@ -61,8 +61,7 @@ index.cmx : web.cmx ../ZEN/trie.cmx ../ZEN/list2.cmx ../ZEN/gen.cmx \ ...@@ -61,8 +61,7 @@ index.cmx : web.cmx ../ZEN/trie.cmx ../ZEN/list2.cmx ../ZEN/gen.cmx \
phonetics.cmo : ../ZEN/list2.cmo canon.cmo phonetics.cmo : ../ZEN/list2.cmo canon.cmo
phonetics.cmx : ../ZEN/list2.cmx canon.cmx phonetics.cmx : ../ZEN/list2.cmx canon.cmx
int_sandhi.cmo : ../ZEN/word.cmo phonetics.cmo encode.cmo canon.cmo int_sandhi.cmo : ../ZEN/word.cmo phonetics.cmo encode.cmo canon.cmo
int_sandhi.cmx : ../ZEN/word.cmx ../ZEN/zen_lexer.cmx phonetics.cmx encode.cmx \ int_sandhi.cmx : ../ZEN/word.cmx phonetics.cmx encode.cmx canon.cmx
canon.cmx
skt_morph.cmi : skt_morph.cmi :
morphology.cmi : ../ZEN/word.cmo skt_morph.cmi ../ZEN/lexmap.cmo morphology.cmi : ../ZEN/word.cmo skt_morph.cmi ../ZEN/lexmap.cmo
naming.cmo : ../ZEN/word.cmo web.cmo skt_morph.cmi ../ZEN/gen.cmo encode.cmo \ naming.cmo : ../ZEN/word.cmo web.cmo skt_morph.cmi ../ZEN/gen.cmo encode.cmo \
...@@ -70,12 +69,11 @@ naming.cmo : ../ZEN/word.cmo web.cmo skt_morph.cmi ../ZEN/gen.cmo encode.cmo \ ...@@ -70,12 +69,11 @@ naming.cmo : ../ZEN/word.cmo web.cmo skt_morph.cmi ../ZEN/gen.cmo encode.cmo \
naming.cmx : ../ZEN/word.cmx web.cmx skt_morph.cmi ../ZEN/gen.cmx encode.cmx \ naming.cmx : ../ZEN/word.cmx web.cmx skt_morph.cmi ../ZEN/gen.cmx encode.cmx \
../ZEN/deco.cmx ../ZEN/deco.cmx
inflected.cmi : ../ZEN/word.cmo skt_morph.cmi naming.cmo morphology.cmi \ inflected.cmi : ../ZEN/word.cmo skt_morph.cmi naming.cmo morphology.cmi \
int_sandhi.cmi ../ZEN/deco.cmx ../ZEN/zen_lexer.cmx ../ZEN/deco.cmo
inflected.cmo : ../ZEN/word.cmo skt_morph.cmi phonetics.cmo naming.cmo \ inflected.cmo : ../ZEN/word.cmo skt_morph.cmi phonetics.cmo naming.cmo \
morphology.cmi ../ZEN/lexmap.cmo encode.cmo ../ZEN/deco.cmo inflected.cmi morphology.cmi ../ZEN/lexmap.cmo encode.cmo ../ZEN/deco.cmo inflected.cmi
inflected.cmx : ../ZEN/word.cmx skt_morph.cmi phonetics.cmx naming.cmx \ inflected.cmx : ../ZEN/word.cmx skt_morph.cmi phonetics.cmx naming.cmx \
morphology.cmi ../ZEN/lexmap.cmx encode.cmx ../ZEN/deco.cmx inflected.cmi \ morphology.cmi ../ZEN/lexmap.cmx encode.cmx ../ZEN/deco.cmx inflected.cmi
../ZEN/zen_lexer.cmx
sandhi.cmo : ../ZEN/word.cmo phonetics.cmo ../ZEN/list2.cmo encode.cmo \ sandhi.cmo : ../ZEN/word.cmo phonetics.cmo ../ZEN/list2.cmo encode.cmo \
canon.cmo canon.cmo
sandhi.cmx : ../ZEN/word.cmx phonetics.cmx ../ZEN/list2.cmx encode.cmx \ sandhi.cmx : ../ZEN/word.cmx phonetics.cmx ../ZEN/list2.cmx encode.cmx \
......
This diff is collapsed.
...@@ -11,9 +11,9 @@ ...@@ -11,9 +11,9 @@
open Camlp4.PreCast; (* MakeGram Loc *) open Camlp4.PreCast; (* MakeGram Loc *)
module Gram = MakeGram Zen_lexer module Gram = MakeGram Min_lexer
; ;
open Zen_lexer.Token open Min_lexer.Token
; ;
value transducer trad t = value transducer trad t =
try Gram.parse_string trad Loc.ghost t with try Gram.parse_string trad Loc.ghost t with
......
...@@ -396,10 +396,9 @@ XML_MORPHOLOGY=$(SL_XML_MORPHOLOGY) $(WX_XML_MORPHOLOGY) $(XML_DTD) ...@@ -396,10 +396,9 @@ XML_MORPHOLOGY=$(SL_XML_MORPHOLOGY) $(WX_XML_MORPHOLOGY) $(XML_DTD)
all: all:
test -e $(ZEN) && echo "Zen toolkit detected" && exit 0 \ test -e $(ZEN) && echo "Zen toolkit detected" && exit 0 \
|| echo "You should first install the Zen library at $(ZEN)" && exit 1 || echo "You should first install the Zen library at $(ZEN)" && exit 1
cd $(ZEN); make cd $(ZEN) && $(MAKE)
test -e $(DATA) && echo "Heritage_Resources detected" && exit 0 \ test -e $(DATA) && echo "Heritage_Resources detected" && exit 0 \
|| echo "You should first install Heritage_Resources at $(DATA)" && exit 1 || echo "You should first install Heritage_Resources at $(DATA)" && exit 1
cd $(ZEN) && $(MAKE) all
ln -sf $(ZEN) ZEN ln -sf $(ZEN) ZEN
cp -Rp $(HERITAGE) . # local copy of DICO from Resources/DICO cp -Rp $(HERITAGE) . # local copy of DICO from Resources/DICO
cp -Rp $(MW) . # local copy of MW cp -Rp $(MW) . # local copy of MW
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment