Ling 570 uses Jonathan Graehl's Carmel Finite State Toolkit for instruction on Finite State Machines. After much difficulty I managed to install Carmel on my Mac. The primary difficulty was ensuring that boost and all its packages were fully installed on my computer, and that Carmel's make file could find them. Here is what I did. Steps 4-10 might be unnecessary, but I already had homebrew on my machine, and did the other steps so I'll include them anyway. You may need to restart your machine after installing large things like in steps 1, 2, 3, 10, 11.

1. Make sure your OS is up to date (Apple Software Update)
2. Install XCode (search online, create Apple ID, etc)
3. Update XCode completely, which may take multiple tries (Apple Software Update)
4. Install homebrew if you don't have it already (
5. Update hombrew (command line: brew update)
6. Use homebrew to install boost (command line: brew install boost)
7. Use homebrew to install boost configured for python (command line: brew install boost --with-python)
8. Use homebrew to install boost with python (command line: brew install boost-python)
9. Use homebrew to install bjam (command line: brew install bjam)
10. Setup bootstrap (
11. Install MacPorts (
12. Enable the XCode command line tools (command line: xcode-select --install) (also this page is very useful:
13. Use MacPorts to install boost (command line: sudo port install boost +universal)
14. Download carmel from github, not from isi (
15. Unpackage the tar file (find it in Downloads and double click)
16. Navigate to the carmel folder in that dir (command line: cd ~/Downloads/carmel-master/graehl)
17. Create a symbolic link to boost in graehl and in the shared and carmel folders in this dir (helpful instructions on the isi site: )
cd Downloads/carmel-master/graehl
ln -s <location of boost for me was /usr/local/include/>boost .
cd shared
ln -s /usr/local/include/boost .
cd ../carmel
ln -s /usr/local/include/boost .
18. in the carmel folder make install
cd ~/Downloads/carmel-master/graehl/carmel
make install
19. After it finishes it will output 2 commands to put carmel in your bin, but the location is probably not right. It created a bin file in my user folder at /User/Sarah/bin with 3 files in there. So you have to copy them to your actual bin
cp ~/bin/carmel /bin/carmel
cp ~/bin/carmel /bin/carmel.debug
cp ~/bin/carmel /bin/
20. run carmel to ensure it was installed (command line: carmel) if so, it will output the manual for carmel.

You may be able to skip step 19 by specifically telling the makefile in step 18 to install in your bin with either of these commands, but I'm not sure if the format is correct:

make install INSTALL_PREFIX=/usr/bin
make install -I/usr/bin

Good luck!

-- Main.lalondes - 2015-10-23

Topic revision: r1 - 2015-10-23 - 22:41:00 - lalondes

This site is powered by the TWiki collaboration platformCopyright & by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
Privacy Statement Terms & Conditions