add rwkv encoder

aky15

2023-10-20 ab653d3871f72f7f6cd1ac3126b3df722f4c7943

1
2
3
4
5
6
7
if (NOT BINARY)
  message (FATAL_ERROR "BINARY file to check not specified!")
endif ()
file (STRINGS "${BINARY}" strings REGEX "This text should be stripped out")
if (strings)
  message (FATAL_ERROR "Text not stripped from binary like it should be: ${BINARY}")
endif ()