mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-11-04 19:25:27 -07:00
Added target for building GF with profiling
This commit is contained in:
1 parent
ffd6c23155
commit
db433bc409
1 file changed
+3
@@ -116,6 +116,9 @@ tracing:
|
|||||||
strip gf
|
strip gf
|
||||||
mv gf ../bin/
|
mv gf ../bin/
|
||||||
|
|
||||||
|
prof: GHCOPTFLAGS += -prof -auto-all -auto-dicts
|
||||||
|
prof: all
|
||||||
|
|
||||||
dist:
|
dist:
|
||||||
-rm -rf $(DIST_DIR)
|
-rm -rf $(DIST_DIR)
|
||||||
mkdir $(DIST_DIR)
|
mkdir $(DIST_DIR)
|
||||||
|
|||||||
Reference in new issue
Block a user