Transpilation abandoned Import warp_external_input_check_int256 from warplib.maths.external_input_check_ints is not defined.

[tutan123]

How to solve this issue?

[piwonskp]

Thanks for reaching us out! It seems like for some reason external_input_check_ints was not generated. Does the file exist in the container? yarn warplib should save it under the path /usr/src/warp-stable/warplib/maths/external_input_check_ints.cairo

[akasimo]

I had the same problem, mentioned file exists under warp-stable. I think the issue is Dockerfile and docker-compose-yml have different work directory, one starts from stable the other one doesnt. /usr/src/warp/... does not have that file. Changing the dir to stable solves it. That is the reason why following the commands in readme gives out different results depending on container config.

[piwonskp]

Exactly what @akasimo wrote. I'll just add that there are two directories because docker-compose was designed to be used both by warp developers and users. warp-stable/ is added in Dockerfile during docker build stage. On the other hand warp/ is a volume from local disk and was designed for contributors to be able to quickly modify the code and run it. I think two separate docker-compose.yaml for users and contributors would solve the issue

[piwonskp]

I've created an issue #1011 for that. @tutan123 @akasimo I'd be happy to hear your opinions

[nihaoqingtuan]

i get the same issue:
After I installed the warp using the method on this page: /warp/docs/contribution_guidelines/setuping-development-environment I tried to translate ERC20.sol, and the error was reported as follows:

`
$ warp transpile ERC20.sol

Transpilation abandoned Import warp_external_input_check_int256 from warplib.maths.external_input_check_ints is not defined.
`