Skip to content

Latest commit

 

History

History

nix

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
README.md
README.md
 
 
build.nix
build.nix
 
 
default.nix
default.nix
 
 
path_hack.sh
path_hack.sh
 
 
shell.nix
shell.nix
 
 
tarball.nix
tarball.nix
 
 

README.md

Using ATS-Postiats from a git repo-build

From your ATS-Postiats root directory (NOT this directory)

  1. Clone the ATS-Postiats repo to a desired location
  2. nix-shell nix/shell.nix
  3. make -f Makefile_devl all
  4. confirm patscc is on your path, and that PATSHOME is set!