git.annexia.org
/
goals.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
stdlib/fedora: Use grep -F when matching %fedora-rebuild-name
[goals.git]
/ Goalfile.in
2022-02-04
Richard W.M. Jones
Use old code-generator for menhir
commit
|
commitdiff
2020-02-20
Richard W.M. Jones
dist: Add extra files to tarball.
commit
|
commitdiff
2020-01-20
Richard W.M. Jones
Rename tactic -> predicate.
commit
|
commitdiff
2020-01-18
Richard W.M. Jones
install: Fix install path for stdlib, and install man...
commit
|
commitdiff
2020-01-18
Richard W.M. Jones
dist: Replace install-sh symlink with a copy of the...
commit
|
commitdiff
2020-01-18
Richard W.M. Jones
maintainer: Add maintainer-commit, maintainer-tag goals.
commit
|
commitdiff
2020-01-18
Richard W.M. Jones
build: %version instead of using autoconf @PACKAGE_VERS...
commit
|
commitdiff
2020-01-18
Richard W.M. Jones
maintainer: Build Fedora package in copr.
commit
|
commitdiff
2020-01-18
Richard W.M. Jones
build: dist should have %tarfile as target.
commit
|
commitdiff
2020-01-13
Richard W.M. Jones
build: Add distcheck, maintainer-check-extra-dist and...
commit
|
commitdiff
2020-01-13
Richard W.M. Jones
docs: Build plain text version of documentation.
commit
|
commitdiff
2020-01-13
Richard W.M. Jones
build: Distribute src/.depend with tarball.
commit
|
commitdiff
2020-01-12
Richard W.M. Jones
build: Implement make dist rule.
commit
|
commitdiff
2020-01-12
Richard W.M. Jones
build: Implement install rule.
commit
|
commitdiff
2020-01-12
Richard W.M. Jones
stdlib: Change print colour functions so they are atomic.
commit
|
commitdiff
2020-01-12
Richard W.M. Jones
stdlib: Implement split() function.
commit
|
commitdiff
2020-01-12
Richard W.M. Jones
docs: Remove separate goals-reference manual.
commit
|
commitdiff
2020-01-12
Richard W.M. Jones
build: Run make clean in parallel.
commit
|
commitdiff
2020-01-12
Richard W.M. Jones
utils: Implement -j properly.
commit
|
commitdiff
2020-01-11
Richard W.M. Jones
tests: Print PASS/FAIL for each test.
commit
|
commitdiff
2020-01-10
Richard W.M. Jones
tests: Add basic tests.
commit
|
commitdiff
2020-01-10
Richard W.M. Jones
Split implementation into dependency analysis and trave...
commit
|
commitdiff
2020-01-08
Richard W.M. Jones
build: Create man/ subdirectory before building man...
commit
|
commitdiff
2020-01-08
Richard W.M. Jones
Implement parallel jobs (-j option).
commit
|
commitdiff
2020-01-08
Richard W.M. Jones
build: Remove man/*.? man pages when running 'make...
commit
|
commitdiff
2020-01-07
Richard W.M. Jones
docs: Add empty Goalfile(5) and goals-reference(5).
commit
|
commitdiff
2020-01-07
Richard W.M. Jones
docs: Write man pages to man/ subdirectory.
commit
|
commitdiff
2020-01-07
Richard W.M. Jones
docs: Use pod2man -u option.
commit
|
commitdiff
2020-01-07
Richard W.M. Jones
Add documentation subdirectory.
commit
|
commitdiff
2020-01-05
Richard W.M. Jones
Functions return expressions instead of only lists...
commit
|
commitdiff
2020-01-04
Richard W.M. Jones
build: Create dependencies for Goalfile itself.
commit
|
commitdiff
2020-01-04
Richard W.M. Jones
build: Generate complete OCaml dependencies.
commit
|
commitdiff
2020-01-04
Richard W.M. Jones
stdlib: Implement wildcard function.
commit
|
commitdiff
2020-01-03
Richard W.M. Jones
build: Add depend goal and 'make depend'.
commit
|
commitdiff
2020-01-03
Richard W.M. Jones
build: Fix construction of parser.mli
commit
|
commitdiff
2020-01-03
Richard W.M. Jones
build: Fix ocamldep invocation.
commit
|
commitdiff
2020-01-03
Richard W.M. Jones
build: Fix 'goals clean' rule.
commit
|
commitdiff
2020-01-03
Richard W.M. Jones
In dependency file, use ; between statements.
commit
|
commitdiff
2020-01-03
Richard W.M. Jones
Rename Eval -> Run, split out some Ast functions into...
commit
|
commitdiff
2020-01-03
Richard W.M. Jones
Use goals itself exclusively to build.
commit
|
commitdiff
2019-12-21
Richard W.M. Jones
Initial commit of parser.
commit
|
commitdiff