Commits · 17aaaafdcfa6027cff2089ca7ce282eb401e5baa · POTTIER Francois / menhir

30 Dec, 2015 1 commit
- Change the main Makefile to read USE_OCAMLFIND only at build time. · 17aaaafd
  POTTIER Francois authored Dec 30, 2015
  
  17aaaafd
10 Nov, 2015 1 commit
- Modified the main Makefile to allow all three targets (all, install, · f7192bc0
  POTTIER Francois authored Nov 10, 2015
```
uninstall) to work regardless of whether we are in a distributed package or in
the repository.
```
  f7192bc0
03 Nov, 2015 2 commits
- Makefile: use egrep -E to test for Win32|Win64. · acac68a5
  POTTIER Francois authored Nov 03, 2015
```
Should fix the previous code, which was perhaps broken.
```
  acac68a5
- Makefile cleanup -- changed the syntax of a conditional -- should make no difference. · 02ea25a7
  POTTIER Francois authored Nov 03, 2015
  
  02ea25a7
02 Nov, 2015 2 commits
- Distinguished $(installation_libdir) from $(libdir). · 16466cac
  POTTIER Francois authored Nov 02, 2015
```
In the previous version, the redefinition of $(libdir) was ineffective when we were called from opam, which overrides $(libdir) from outside.
```
  16466cac
- Typo. · 8e650ba2
  POTTIER Francois authored Nov 02, 2015
  
  8e650ba2
29 Oct, 2015 1 commit
- Modified the (main) Makefile to create and install menhirLib.{ml,mli} as part of MenhirLib. · 8d668822
  POTTIER Francois authored Oct 29, 2015
  
  8d668822
27 Oct, 2015 2 commits
- Replace ${} with $() for uniformity. · 7c8c5a62
  POTTIER Francois authored Oct 27, 2015
  
  7c8c5a62
- Fix the Makefile (again) to allow installation under opam/Windows. · 0344bb69
  POTTIER Francois authored Oct 27, 2015
  
  0344bb69
26 Oct, 2015 1 commit
- Fix the Makefile in an attempt to allow installation under opam/Cygwin. · 2939a47e
  POTTIER Francois authored Oct 26, 2015
  
  2939a47e
09 Feb, 2015 1 commit
- Typo. · e80d97d0
  POTTIER Francois authored Feb 09, 2015
  
  e80d97d0
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

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