Commits · dbe07da4cf78856fa0744fe5e8305d5f604bbe6f · POTTIER Francois / menhir

09 Nov, 2015 2 commits
- A little GNUmakefile fix. · dbe07da4
  POTTIER Francois authored Nov 09, 2015
  
  dbe07da4
- Documentation addition. · c757bc66
  POTTIER Francois authored Nov 09, 2015
  
  c757bc66
04 Nov, 2015 3 commits
- Evidence the problem with %inline and positions. · a5638949
  POTTIER Francois authored Nov 04, 2015
  
  a5638949
- Added menhir(no-inline) to quicktest/positions/. · 170c9c0e
  POTTIER Francois authored Nov 04, 2015
  
  170c9c0e
- More complex grammar in quicktest/positions/. · 4986f5ca
  POTTIER Francois authored Nov 04, 2015
  
  4986f5ca
03 Nov, 2015 15 commits
- Makefile adjustment. · a1bc99d2
  POTTIER Francois authored Nov 03, 2015
  
  a1bc99d2
- Also build using menhir --table. · 5f3f814d
  POTTIER Francois authored Nov 03, 2015
  
  5f3f814d
- Set up [make test]. · 77bfdc1d
  POTTIER Francois authored Nov 03, 2015
  
  77bfdc1d
- Preparing a new test in positions/. · e1422da5
  POTTIER Francois authored Nov 03, 2015
  
  e1422da5
- Abort speed.sh if build fails. · 9bace029
  POTTIER Francois authored Nov 03, 2015
  
  9bace029
- Improve config.sh so that it works even if the Menhir executable has not been · 643b92ab
  POTTIER Francois authored Nov 03, 2015
```
built yet.
```
  643b92ab
- Silent call to test.sh. · da6c0241
  POTTIER Francois authored Nov 03, 2015
  
  da6c0241
- Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/menhir/menhir · 8878c4dd
  POTTIER Francois authored Nov 03, 2015
  
  8878c4dd
- Fix in GNUmakefile: check for /opt/godi/bin/cduce. · 7485c9f3
  POTTIER Francois authored Nov 03, 2015
  
  7485c9f3
- CHANGES update. · 1d0b40de
  POTTIER Francois authored Nov 03, 2015
  
  1d0b40de
- 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
- Amélioration de test.sh pour s'arrêter si quelque chose ne compile pas. · 2e2f666e
  POTTIER Francois authored Nov 03, 2015
  
  2e2f666e
- TODO item. · 3464ef4e
  POTTIER Francois authored Nov 03, 2015
  
  3464ef4e
- Removed an outdated comment. · 3db84997
  POTTIER Francois authored Nov 03, 2015
  
  3db84997
02 Nov, 2015 4 commits
- Typo. · 83a57666
  POTTIER Francois authored Nov 02, 2015
  
  83a57666
- 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
- Comment. · 23841569
  POTTIER Francois authored Nov 02, 2015
  
  23841569
31 Oct, 2015 2 commits
- TODO item. · f316de25
  POTTIER Francois authored Oct 31, 2015
  
  f316de25
- Fixes in CHANGES. · e6f9e481
  POTTIER Francois authored Oct 31, 2015
  
  e6f9e481
30 Oct, 2015 5 commits
- More fixes in GNUmakefile. · 1bfc7f62
  POTTIER Francois authored Oct 30, 2015
  
  1bfc7f62
- Fixed GNUmakefile to use gsed if available. · 557f0485
  POTTIER Francois authored Oct 30, 2015
  
  557f0485
- Documented --suggest-menhirLib. · c1c4849e
  POTTIER Francois authored Oct 30, 2015
  
  c1c4849e
- Removed two TODO items. · 0f8c62f1
  POTTIER Francois authored Oct 30, 2015
  
  0f8c62f1
- Updated LICENSE to no longer explicitly list the components of MenhirLib. · 491ee887
  POTTIER Francois authored Oct 30, 2015
  
  491ee887
29 Oct, 2015 9 commits
- New option --suggest-menhirLib to find out where menhirLib.{ml,mli} have been installed. · ef27426f
  POTTIER Francois authored Oct 29, 2015
  
  ef27426f
- Modified the (main) Makefile to create and install menhirLib.{ml,mli} as part of MenhirLib. · 8d668822
  POTTIER Francois authored Oct 29, 2015
  
  8d668822
- List the components of MenhirLib in dependency order. · 764a23e1
  POTTIER Francois authored Oct 29, 2015
  
  764a23e1
- Silent sub-make. · f67f5e4c
  POTTIER Francois authored Oct 29, 2015
  
  f67f5e4c
- Removed the GODI entry from GNUmakefile. · f332547a
  POTTIER Francois authored Oct 29, 2015
  
  f332547a
- Updated GNUmakefile to no longer list all components of MenhirLib explicitly. · 108a3ada
  POTTIER Francois authored Oct 29, 2015
  
  108a3ada
- Updated hyperlinks in the doc to the HTML API. · 9d7fddf1
  POTTIER Francois authored Oct 29, 2015
  
  9d7fddf1
- Updated lgpl-header. · 7fa6869e
  POTTIER Francois authored Oct 29, 2015
  
  7fa6869e
- Recoded lgpl-header in UTF8. · 48b5959e
  POTTIER Francois authored Oct 29, 2015
  
  48b5959e