Skip to content


Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

[feature] opa-translator: build and install

  • Loading branch information...
commit c877012cffc4591cb7d94b49d78d69e7a9aaaf28 1 parent 1011bc0
Rudy Sicard OpaOnWindowsNow authored
Showing with 1 addition and 0 deletions.
  1. +1 −0  build_tools
1  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
Please sign in to comment.
Something went wrong with that request. Please try again.