GithubHelp home page GithubHelp logo

Comments (3)

GoogleCodeExporter avatar GoogleCodeExporter commented on August 29, 2024
Andrei, the script is very useful! Would it be OK with you to make it available 
to everyone by adding it as an attachment to the Cloud9 setup documentation 
page at http://cloud9.epfl.ch/setting-up, and referring to it in the 
documentation text?

Thanks a lot!

Original comment by [email protected] on 28 Sep 2012 at 9:01

  • Changed state: Accepted

from cloud9.

GoogleCodeExporter avatar GoogleCodeExporter commented on August 29, 2024
Hi Stefan!

Absolutely - would be glad to see it added (and perhaps improved by
other users as well for other environment setups) until there will be a
fully official (perhaps gyp-based) build&install script.

Feel free to add/update to the script appropriate Cloud9 license header
in addition to the existing author headers so it will be in the same
style as other scripts in Cloud9 suite.

Thanks for the time considering this script.

Happy symbolic execution to everyone :),
Andrei

Original comment by [email protected] on 29 Sep 2012 at 10:40

from cloud9.

GoogleCodeExporter avatar GoogleCodeExporter commented on August 29, 2024
Andrei, I updated the Setting Up page accordingly (see the first para): 
https://sites.google.com/site/cloud9symbolicexecution/setting-up

I didn't change anything in the script, since I think your heading is OK.

It would be great indeed to convert everything to gyp. If you get the chance to 
work on anything in this regard, I'll be happy to apply your patches.

Original comment by [email protected] on 4 Nov 2012 at 4:30

  • Changed state: Done

from cloud9.

Related Issues (20)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.