Regarding the issue of writing a new plugin for S2E.

[Jay Ironman]

Hello:

I want to write a plugin for S2E. Here are my steps:

1. Write plugins
2. Delete the contents of the previous' build 'folder: ` rm rf~/s2e/build'/*`
3. Rebuilding S2E: ` s2e build`

Excuse me, is this step correct? If it is correct, why does step 3 prompt that Makefile files for certain folders in the 'build' directory cannot be found, causing the build to fail?

Thank you!

[Vitaly Chipounov]

Hi,

Normally, writing a new plugin should not require removing the build folder.

If you do, make sure that it is empty (ls -la).

Also, it is helpful to attach the error messages to your question.

Vitaly

--
You received this message because you are subscribed to the Google Groups "S2E Developer Forum" group.
To unsubscribe from this group and stop receiving emails from it, send an email to s2e-dev+u...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/s2e-dev/3603f85f-b359-4b18-9f7c-a0f8873c6f8dn%40googlegroups.com.

[Jay Ironman]

Hello:

Yes, I did indeed delete all the contents of the 'build' directory and rebuild it. It seems that this is not correct, and the error message is as follows:



The above error message indicates that the 'Makefile' file cannot be found. I think it may have been accidentally deleted.

May I ask how to correctly operate a new plugin to make it effective? It seems that S2E's document does not introduce it.

thank you.