https://github.com/m4lvin/sylvan-haskell-example

https://github.com/m4lvin/sylvan-haskell-example

Last synced: 22 days ago
JSON representation

• Host: GitHub
• URL: https://github.com/m4lvin/sylvan-haskell-example
• Owner: m4lvin
• Created: 2016-10-03T13:47:47.000Z (about 8 years ago)
• Default Branch: master
• Last Pushed: 2024-06-17T22:56:27.000Z (5 months ago)
• Last Synced: 2024-06-18T00:28:57.657Z (5 months ago)
• Language: Haskell
• Size: 6.84 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Sylvan Haskell Example

A toy example showing how to get started with the

[Haskell bindings](https://github.com/adamwalker/sylvan-haskell) for

[Sylvan](https://github.com/utwente-fmt/sylvan).

## Usage

0. Install dependencies:

    ```

    sudo apt install hwloc libhwloc-dev libgmp-dev

    ```

1. Get, compile and install Sylvan: `make sylvan-clone-patch-make-install`

    Note that this will use `sudo` at the end to install the library

    globally, for example placing `libsylvan.a` into `/usr/local/lib/`

    which is therefore mentioned in the `stack.yaml` file here.

2. Compile the Haskell code: `stack build`

3. Run it: `stack exec sylvan-haskell-example`

## Notes

- Currently this example only works with Sylvan 1.0.0.

  To update, the Haskell bindings have to be updated first.

  Note that the Sylvan changelog says for version 1.7.0

  "Support for Sylvan as a shared library is removed."