removed bento tool

Author: Roman-Manevich

.github/workflows/build-asl-reference.yml

@@ -4,7 +4,6 @@ on:
   workflow_dispatch:
   pull_request:
     paths:
-      - 'internal/bento.mll'
       - 'asllib/doc/**'
       - 'asllib/aslspec/**'
       - '.github/workflows/build-asl-reference.yml'

Makefile

@@ -28,7 +28,6 @@ HERD_REGRESSION_TEST          = _build/default/internal/herd_regression_test.exe
 HERD_DIYCROSS_REGRESSION_TEST = _build/default/internal/herd_diycross_regression_test.exe
 HERD_CATALOGUE_REGRESSION_TEST = _build/default/internal/herd_catalogue_regression_test.exe
 HERD_ASSUMPTIONS_TEST		  = _build/default/internal/herd_assumptions_test.exe
-BENTO                         = _build/default/tools/bento.exe
 ASLREF                        = _build/default/asllib/aslref.exe
 CHECK_OBS                     = _build/default/internal/check_obs.exe
 all: build
@@ -975,8 +974,8 @@ clean-asl-pseudocode:
 
 .PHONY: asldoc
 asldoc: Version.ml
-	@ dune build -j $(J) --profile $(DUNE_PROFILE) $(BENTO) $(ASLREF)
-	@ $(MAKE) $(MFLAGS) -C asllib/doc all BENTO=$(CURDIR)/$(BENTO) ASLREF=$(CURDIR)/$(ASLREF)
+	@ dune build -j $(J) --profile $(DUNE_PROFILE) $(ASLREF)
+	@ $(MAKE) $(MFLAGS) -C asllib/doc all ASLREF=$(CURDIR)/$(ASLREF)
 
 .PHONY: clean-asldoc
 clean-asldoc:

tools/bento.mll

@@ -10,7 +10,6 @@
  mheader
  splitdot
  trTrue
- bento
  lexMiaou)
 
 (executables
@@ -52,7 +51,6 @@
   cat2html
   mlog2name
   mcat2includes
-  bento
   miaou
   cat2lisp
   dot2desc
@@ -95,7 +93,6 @@
   cat2html7
   mlog2name7
   mcat2includes7
-  bento
   miaou7
   cat2lisp
   dot2desc7