I have to install NuSMV on my mac and i don't know exactly how to install it. There are two files available on NuSMV website, one is SourceCode and other is binary. Which one should i install? And after choosing what should i do, Like should i follow readme.txt or what? Any help will be appreciated as there isn't much help on internet regarding NuSMV installation for mac.
P.S :- I have already tried installing Source code part and installed it according to readme.txt but i don't know what i am missing as i also don't know what is the procedure to run a smv file.
Related
A Unix (mac/Linux) user who has been forced to work on a windows machine here :)
I have scripted loads of work in GnuPlot and don't want to switch to other programs at this moment. I would appreciate it if you could help me know how to install GnuPlot On windows (more specifically windows 10). questions:
I know there are two options according to this page, Cygwin and MinGW. which one is better?
I have MinGW installed and I know I need to install one of the options from this page but I don't know which one(s)! and how.
I have searched the internet but it seems most of the search results are for compiling. I don't want to go through compiling and all the hassle.
I tried installing the binary from this link, and when I try to run the program this is the error I get:
Unable to execute file:
C:\Program Files\gnuplot\bin\wgnuplot.exe
CreatProcess failed; Code267.
The directory name is invalid.
I would appreciate it if you could give me a very simple stepwise installation (1 2 3 ...), preferably with visuals, and instructions.
P.S. A nice way to install Free, Libre, and Open Source Software (FLOSS) on Windows and keep them updated, is to use package managers like Chocolatey. There are GnuPlot chocolatey packages here. Just install choco as instructed here. Then use choco install Gnuplot to have the software installed.
You don't have to install MinGW or Cygwin. Actually packages compiled in MinGW are compatible with Windows. Just download the binary of gnuplot from Their repo and you are good to go.
Additional points:
When installing, check which terminals you want to set up; also
check if you want the installer to add the PATH variable to your
system. Also, create a desktop shortcut.
After installation, you should see the desktop shortcut. Clicking on it should open a terminal-based gnuplot (which hopefully you are familiar with).
Please note that I have used the x11 terminal (you can get this working by installing xming). There are other options such as windows and qt terminals, but I am not an expert on using these.
You should have Administrator rights on this machine.
Right click on MinGW, Run as Administrator, install - should be OK.
Good luck!
BR, Alex
You can try
$~ scoop install gnuplot
Installing 'Gnuplot' (5.4.5) [64bit] from main bucket
gp545-win64-mingw.7z (37.7 MB) [=======================================] 100%
Checking hash of gp545-win64-mingw.7z ... ok.
Extracting gp545-win64-mingw.7z ... done.
Linking ~\scoop\apps\Gnuplot\current => ~\scoop\apps\Gnuplot\5.4.5
Creating shim for 'gnuplot'.
Creating shortcut for GNUPlot (wgnuplot.exe)
'Gnuplot' (5.4.5) was installed successfully!
I'm frustrated. I'm a total beginner in this (TYPO3), know well about HTML/CSS though but all the info I found on the web reads like Chinese for me. Like that one: http://mac-dev-env.patrickbougie.com/graphicsmagick/
I have no clue what that means!
I've downloaded GM, extracted the zip and double-clicked the configure file. The installation finished without any problems (as far as I can tell).
So here's the ting: can anybody please tell me, how this sort of installation is suppossed to be completed? I need it from the very beginning, actually from unpacking the zip.
Do I have to have another program, like this terminal program on the Mac, where you have to type in command lines? Do I have to write or edit code somewhere? Do I need to create folders? Where, in the TYPO3-Backend, can I check if it even works?
TYPO3 is installed and it works perfectly so far. THANKS A LOT! :)
PS: I really like to learn this (!), but my head is bumping right now :(
Easy way:
If you want to "just install" GM I suggest you to use one of OS X package managers like homebrew or macports. They can simplify configuration, building and installation process for you. So you'll only need to open Terminal and type (depending on chosen package manager):
brew install graphicsmagick or port install graphicsmagick
To verify that your installation is successful open Terminal and type gm version, as result you should see version and other details of your installation.
Fundamental way:
If you want learn how to build and install GM from sources, I recommend you to start reading official documentation. And then, by the way, read about "Make" and other tools used in build process.
As #Oles Savluk pointed easiest way to install such stuff is using homebrew. When you'll install it already, open new terminal window and use command which gm to find the path it will be i.e.: /usr/local/bin/gm - copy/write it and use in the TYPO3's Install Tool in proper place.
I have researched this and found answers on SO on this topic yet remain confused.
Trying to get started with Git. I'm new to shell scripting too so hopefully after this I'll be more familiar with it.
I'm reading this page about how to get up and running with Git: http://git-scm.com/book/en/Getting-Started-Installing-Git
I created a directory on my desktop called "git" and navigated to it in the terminal. With my level of experience in shell scripting this was a victory. Then, following a blog post on how to download fromt he terminal ran this command:
curl -O http://git-scm.com/download
That worked, or at least a new file was added to the "git" directory that I created.
Reading down the instructions one is told that "To install Git, you need to have the following libraries that Git depends on: curl, zlib, openssl, expat, and libiconv"
OK. Um. How? I did read some blog posts and SO answers on how to do this but failed. The first one for example - type zlib and hit enter - command not found? How do I either check if it's already installed or how do I install it? What about the others?
I tried following this blog post: http://www.neuraladvance.com/using-open-source-libraries-on-mac-os-x.html
I typed:
./configure
make
sudo make install
Wasn't even sure what to expect. The first two commands said not found the last one asked me for a password.
I then tried ./configure --help
Was then told "No such file or directory"
Needless to say I don't know what to do next. How do I install the libraries on a Mac using the terminal? curl, zlib, openssl, expat, and libiconv
I'm pretty sure all those libraries are preinstalled on your Mac.
If not, installing Xcode (free on the AppStore) would do the trick.
Xcode actually comes with git (but not the latest version) so if you install Xcode you don't need to install git separately.
To answer your question more generally, you might want to install Homebrew.
It's a command line tool to install software and libraries and it's pretty easy to use.
It's great that you are discovering the shell. You should read some tutorials for beginners. If you like it, you will learn very fast and in a few weeks, you will understand exactly why the command you tried didn't work. Have fun learning!
As Simon suggested you should install Xcode, however the CLI tools are not installed automatically. They must be downloaded through Xcode's, preferences. In Preferences click the Downloads tab then install next to Command Line Tools.
If any of the required tools are not automatically installed with Xcode, Homebrew is a great, easy to use, utility that can install nearly any UNIX or Linux command with the following syntax:
brew install <SomeAppName>
The Homebrew website has easy to follow instructions for setting it up initially. So if anything you need is missing try using that.
In Xcode 5, to download Command Line Tools, choose Open Developer Tool under "Xcode", then More Developer Tools> from the sub Menu. This takes you to an Apple web page - you'll need a Developer username/password to get to the Downloads page.
Choose the right CLT for your system, download and install from the dmg/pkg.
I have to confess I am not an expert in Mac OS but I am trying to install Cappuccino. I ran the script and the following files are now in the "narwhal" subdirectory. Trouble is, I have no idea what to do next. There doesn't appear to be an install executable, and no icon has appeared to invoke the development environment. Any help is appreciated.
These are the downloaded files:
I'm assuming you've downloaded the package on the website, there's a shell script. In the terminal run the bootstrap.sh file:
./bootstrap.sh
Then, you're set to install Cappuccino.
Inside the Cappuccino directory type:
jake install
or sometimes
jake sudo-install
is required. (it'll complain about permissions if you need to use sudo-install)
That will install Cappuccino itself.
To create a new cappuccino project you'll need to use the "capp" tool
capp gen MyNewProjectName
or capp --help
will tell you how to use some of the more advanced features of the capp tool.
This will give you a blank project where you can get to work.
There are other tools you can (and will want to) use when you're ready to deploy, but we can get to those when the time comes.
Additionally, the mailing list is very helpful when it comes to these kinds of questions, and it monitored much more closely than SO. :)
I download GO compiler for windows from http://code.google.com/p/gomingw/downloads/list. However, in Read Me file, it stated that for installation information, check http://golang.org/doc/install.html#install. But, in golang.org, there is only information about Linux installation, not for windows. Can anybody help me by specifying how to install it or giving a source where can I found the steps of installation. Thanks in advance.
Download the gowin386_release.r60.3_installer.exe file and run it.