Skip to content

Latest commit

 

History

History
57 lines (38 loc) · 1.25 KB

README.md

File metadata and controls

57 lines (38 loc) · 1.25 KB
Raw

Devin

This repository contains the Haskell source code for the Devin software, which is discussed in my thesis. It also includes the LaTeX source of the thesis itself.

Running Devin on your machine

Precompiled Devin executables can be found in the latest release.

To run Devin, GtkSourceView 3 and its dependencies need to be installed on your system.

  • On Debian derivatives, you can install them with:

    sudo apt install libgtksourceview-3.0-1

    Before launching Devin, ensure you have granted execution permissions:

    chmod +x devin-x86_64-linux

  • On macOS, you can install them with Homebrew:

    brew install gtksourceview3

    Before launching Devin, ensure you have granted execution permissions:

    chmod +x devin-aarch64-osx

  • On Windows, you can install them with MSYS2.

    If you don’t have MSYS2 already installed, run:

    winget install --id MSYS2.MSYS2 --interactive

    In a MSYS2 shell, execute the following command:

    pacman -S mingw-w64-x86_64-gtksourceview3

    You may launch Devin from MSYS2 using:

    ./devin-x86_64-windows.exe