Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Compile error on Windows #130

Open
DerZc opened this issue May 12, 2022 · 4 comments
Open

Compile error on Windows #130

DerZc opened this issue May 12, 2022 · 4 comments

Comments

@DerZc
Copy link

DerZc commented May 12, 2022

I want to compile bincat on Windows and follow this link,, then meet this error:

$ make windist PYTHON=python
Compiling OCaml part.................................................
make[1]: Entering directory '/home/SEG_ZC/bincat/ocaml/src'
ocamllex frontend/lexer.mll
57 states, 2172 transitions, table size 9030 bytes
menhir --explain frontend/parser.mly
File "frontend/parser.mly", line 192, characters 13-17:
Warning: the token SINT is unused.
File "frontend/parser.mly", line 180, characters 39-44:
Warning: the token STACK is unused.
Warning: one state has reduce/reduce conflicts.
Warning: 2 reduce/reduce conflicts were arbitrarily resolved.
File "frontend/parser.mly", line 422, characters 6-16:
Warning: production x86_section -> x86_item is never reduced.
Warning: in total, 1 production is never reduced.
Error: the code back-end requires the type of every nonterminal symbol to be
known. Please specify the type of every symbol via %type declarations, or
enable type inference (look up --infer in the manual).
Type inference is automatically enabled when Menhir is used via Dune,
provided the dune-project file says (using menhir 2.0) or later.
The types of the following nonterminal symbols are unknown:
addresses
analysis_kind
analyzer
analyzer_item
architecture
argument
arguments
armv7_section
armv8_section
assert_rule
assert_rules
byte_kind
callconv
data_sections
endianness
format
fun_rule
fun_skip
fun_skip_list
heap_couple
ida_section
import
imports
init
int_kind
libname
library
library_item
loption(separated_nonempty_list(COMMA,argument))
mcontent
memmodel
mmode
mpx_enabled
npk
one_tcontent
os_kind
override
override_addr
override_addr_item
override_heap_item
override_item
override_one_addr
override_reg
override_reg_item
overrides
pair_skip
powerpc_section
powerpc_section_item
program
program_item
repeat
repeat_heap
rv32i_section
rv64i_section
section
section_item
sections
separated_nonempty_list(COMMA,argument)
set_default_source_function
set_source_function
state
state_item
taint_sources
tcontent
x64_item
x64_section
x86_item
x86_section
Makefile:249: .depend: No such file or directory
make[1]: *** [Makefile:215: frontend/parser.ml] Error 1
make[1]: Leaving directory '/home/SEG_ZC/bincat/ocaml/src'
make: *** [Makefile:20: all] Error 2
@szennou
Copy link
Contributor

szennou commented May 13, 2022

Which OCaml version? We'll work on a fix. In the meantime, downgrade to an OCaml compatible version

@DerZc
Copy link
Author

DerZc commented May 13, 2022

I will try to downgrade the version, current version is 4.13.1

@af-airbus
Copy link
Member

af-airbus commented Feb 5, 2024

Could you please retry with the last tagged pre-release (v1.3.-beta1)?

@af-airbus
Copy link
Member

Could you confirm here everything is fine with this version and close the issue accordingly?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants