diff options
| author | letouzey | 2012-05-29 11:09:25 +0000 |
|---|---|---|
| committer | letouzey | 2012-05-29 11:09:25 +0000 |
| commit | 463e46425b56360a158b44c61208060c64eb2ff5 (patch) | |
| tree | 7e55457a3aaa07032f8afb8528d027cac26245f4 /Makefile.common | |
| parent | 51efb80ac1699a27e0003349bb766a430fbaf86a (diff) | |
place all files specific to camlp4 syntax extensions in grammar/
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15387 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile.common')
| -rw-r--r-- | Makefile.common | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.common b/Makefile.common index d5b152432d..d7325bcbb9 100644 --- a/Makefile.common +++ b/Makefile.common @@ -72,7 +72,7 @@ SRCDIRS:=\ config tools tools/coqdoc scripts lib \ kernel kernel/byterun library proofs tactics \ pretyping interp toplevel/utils toplevel parsing \ - intf ide/utils ide \ + grammar intf ide/utils ide \ $(addprefix plugins/, \ omega romega micromega quote ring \ setoid_ring xml extraction fourier \ @@ -160,7 +160,7 @@ CORECMA:=lib/clib.cma lib/lib.cma kernel/kernel.cma library/library.cma \ parsing/parsing.cma tactics/tactics.cma toplevel/toplevel.cma \ parsing/highparsing.cma tactics/hightactics.cma -GRAMMARCMA:=parsing/grammar.cma +GRAMMARCMA:=grammar/grammar.cma OMEGACMA:=plugins/omega/omega_plugin.cma ROMEGACMA:=plugins/romega/romega_plugin.cma |