Exporting all about edts

[tjarvstrand]

I could put export_all as one of the compiler flags to be kept between compilations, but then you would have to manually recompile the module without the flag. What do you think?

[samuelrivas]

Yes, that is good enough for me.

Aside, is there any function to force a recompile in EDTS? It may be nicer to allow options in that function, but I don't need that, is just an idea for a hypothetical future :)

[tjarvstrand]

Cool, should be a quick fix.

How about M-x edts-code-compile-and-display. Pretty long name, but just create an alias for it.

[samuelrivas]

you are the boss ;)

[tjarvstrand]

Like we discussed, export_all is already on the list of options to transfer when compiling, so I'll close this :)