StarExec
Would you like to react to this message? Create an account in a few clicks or log in to continue.
StarExec

This is a forum for discussing the StarExec solver execution service, at starexec.org.


How do I get a recent Mono on starexec? (Answer: mkbundle)

StarExec :: How Do I Do X on StarExec?

Go down

How do I get a recent Mono on starexec? (Answer: mkbundle) Empty How do I get a recent Mono on starexec? (Answer: mkbundle)

Post by j.waldmann Thu Jun 19, 2014 4:01 am

perhaps this is useful for others as well:

one of the termination solvers needs a recent Mono installation (more recent than currently on starexec).

I found that one can build a static executable via mkbundle,
cf. http://www.mono-project.com/Guide:Running_Mono_Applications#Bundles

- J.

j.waldmann

Posts : 84
Join date : 2014-04-26

Back to top Go down

Back to top

- Similar topics

StarExec :: How Do I Do X on StarExec?

 
Permissions in this forum:
You cannot reply to topics in this forum