Commits · a9ff58bd3db7565221e2a53ef4926ac6cafce641 · POTTIER Francois / menhir · GitLab

16 Jan, 2015 1 commit
- Fixed a couple bugs in Makefile and src/Makefile which would cause compilation · a9ff58bd
  POTTIER Francois authored Jan 16, 2015
```
and installation to fail with "TARGET=byte". (Reported by Daniel Dickman.)
```
  a9ff58bd
16 Dec, 2013 1 commit
- Updated Makefile to avoid the dependency install: all. · ea0c1793
  fpottier authored Dec 16, 2013
```
git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/menhir@348 0f8b5475-4b4e-0410-85a8-ee3154a6bfe7
```
  ea0c1793
02 Mar, 2013 1 commit

More Makefile adjustments. · 7244cb30

fpottier authored Mar 02, 2013

git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/menhir@333 0f8b5475-4b4e-0410-85a8-ee3154a6bfe7

7244cb30

01 Mar, 2013 1 commit

Copying everything to a new trunk directory. · 8e9b54a3

fpottier authored Mar 01, 2013


git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/menhir@320 0f8b5475-4b4e-0410-85a8-ee3154a6bfe7

8e9b54a3