[feature] opa-translator: build and install

BourgerieQuentin · Dec 21, 2011 · c877012 · c877012
1 parent 1011bc0
commit c877012
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/build_tools b/build_tools
@@ -48,6 +48,7 @@ internal odeplink tools/odeplink.native
 # from opa
 internal opa2opa              opalang/opa2opa.native
 internal ofile                tools/ofile.native
+internal opa-translate        opa/syntaxHelper.native
 
 # The name of opa raw executable, following unix guidelines (e.g. firefox distrib)
 # when there is a wraper used to call a raw exe