We need to add new command line argument -copy. Which will copy files from https://github.com/polystat/c2eo/tree/master/project/eo-lib next the main translated .eo file.
e.g. I want to translate this C file:
int foo(int x) {
return 42 / x;
}to EO file. I run docker run -v $(pwd):/eo yegor256/c2eo:0.1.24 foo.c foo.eo and get this part of foo.eo:
+alias c2eo.coperators.plus
+alias c2eo.coperators.ram
+alias c2eo.coperators.read-as-int32
+alias c2eo.coperators.write-as-int32
+package c2eo.src.global
[args...] > global
...
But when I try to compile EO file I get error:
Failed while trying to pull /Users/…/c2eo/coperators/address.eo
Because address.eo is an internal library in c2eo.
So, we need to have opportunity to copy these files and place them near the translated .eo file by adding a new argument:
We need to add new command line argument
-copy. Which will copy files from https://github.com/polystat/c2eo/tree/master/project/eo-lib next the main translated.eofile.e.g. I want to translate this C file:
to EO file. I run
docker run -v $(pwd):/eo yegor256/c2eo:0.1.24 foo.c foo.eoand get this part offoo.eo:But when I try to compile EO file I get error:
Because
address.eois an internal library in c2eo.So, we need to have opportunity to copy these files and place them near the translated
.eofile by adding a new argument: