Skip to content

SemGuS-git/sketch-docker-container

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

2 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

This repository is intended as a convenient way of running Sketch on ARM MacOS, where native compilation is currently difficult.

We have included a copy of the archive file containing a pre-built version of Sketch; this is intended to preserve access in the event that the Sketch repositories become unavailable.

For more on Sketch, see its GitHub repo.

Installation

We suggest building the container using the included build script, which sets the container's name to wiley/sketch. You can then add the scripts folder to your PATH, which will allow you to invoke the sketch command as if you were running Sketch locally (for the most part).

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published