diff --git a/Makefile b/Makefile index 1f3c7516e..418c2e61d 100644 --- a/Makefile +++ b/Makefile @@ -21,3 +21,7 @@ clean: sdist: runghc Setup.hs sdist +gf: + runghc Setup.hs build rgl-none + strip dist/build/gf/gf + mv dist/build/gf/gf bin