https://github.com/xsc/goblint-quickinstall

QuickInstall script for Goblint Analyzer (includes OPAM QuickInstall)
https://github.com/xsc/goblint-quickinstall

Last synced: 27 days ago
JSON representation

QuickInstall script for Goblint Analyzer (includes OPAM QuickInstall)

• Host: GitHub
• URL: https://github.com/xsc/goblint-quickinstall
• Owner: xsc
• Created: 2013-02-18T14:44:52.000Z (over 11 years ago)
• Default Branch: master
• Last Pushed: 2013-02-28T14:05:31.000Z (over 11 years ago)
• Last Synced: 2024-04-13T20:08:45.918Z (7 months ago)
• Language: Shell
• Size: 125 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# goblint-quickinstall

QuickInstall script for Goblint Analyzer (includes OPAM QuickInstall).

## What is required?

* [OCaml](http://ocaml.org/) >= 4.00.1

* [Git](http://git-scm.com/)

* [GNU M4](http://www.gnu.org/software/m4/)

* [GNU Bash](http://www.gnu.org/software/bash/) >= 3 (?)

## What is installed/fetched?

* [OPAM](http://opam.ocamlpro.com/)

* [findlib](http://projects.camlcity.org/projects/findlib.html) 1.3.3

* [camomile](http://camomile.sourceforge.net/) 0.8.3

* [batteries](http://batteries.forge.ocamlcore.org/) 1.5.0

* [CIL](http://kerneis.github.com/cil/) 1.5.1

* [xml-light](http://tech.motion-twin.com/xmllight.html) 2.2

* [Goblint](https://github.com/goblint/analyzer)

## QuickInstall

### OPAM + Goblint

```

curl -kL https://raw.github.com/xsc/goblint-quickinstall/master/quick-install.sh | bash -s goblint

```

This will download the QuickInstall script and install OPAM system-wide (will prompt for superuser privileges) and Goblint into the subdirectory ```goblint``` using the latest commit in the [Goblint Repository](https://github.com/goblint/analyzer).

### Only OPAM

```

curl -kL https://raw.github.com/xsc/goblint-quickinstall/master/quick-install.sh | bash -s -- --opam-only

```

### Full Goblint Checkout

```

curl -kL https://raw.github.com/xsc/goblint-quickinstall/master/quick-install.sh | bash -s -- --full-clone goblint

```

This will create a full clone of the Goblint Repository in the ```goblint``` subdirectory. 

(OPAM will be installed, too).

## License

Copyright © 2013 Yannick Scherer

Distributed under the Eclipse Public License.