fix install location for ptl_to_trp (#99)

Signed-off-by: Damien Doligez <damien.doligez@inria.fr>
tlaplus · Nov 7, 2023 · fe954fc · fe954fc
1 parent 5a56e60
commit fe954fc
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/translate/dune b/translate/dune
@@ -8,8 +8,8 @@
  (modules_without_implementation fotypes))
 
 (install ; It has to be installed under 2 names for some reason.
- (section bin)
- (files (main.exe as ptl_to_trp)))
+ (section (site (tlapm backends)))
+ (files (main.exe as bin/ptl_to_trp)))
 
 (ocamllex folex)
 (ocamlyacc foyacc)