diff options
Diffstat (limited to 'Makefile.common')
| -rw-r--r-- | Makefile.common | 17 |
1 files changed, 10 insertions, 7 deletions
diff --git a/Makefile.common b/Makefile.common index c10a02e265..91498c5dfa 100644 --- a/Makefile.common +++ b/Makefile.common @@ -284,13 +284,16 @@ CLASSESVO:=$(call cat_vo_itarget, theories/Classes) PROGRAMVO:=$(call cat_vo_itarget, theories/Program) THEORIESVO:=\ - $(INITVO) $(LOGICVO) $(ARITHVO) $(BOOLVO) $(PARITHVO) $(NARITHVO) $(ZARITHVO) \ - $(SETOIDSVO) $(LISTSVO) $(STRINGSVO) $(SETSVO) $(FSETSVO) $(MSETSVO) \ - $(RELATIONSVO) $(WELLFOUNDEDVO) $(REALSVO) $(SORTINGVO) $(QARITHVO) \ - $(NUMBERSVO) $(UNICODEVO) $(CLASSESVO) $(PROGRAMVO) $(STRUCTURESVO) \ - $(VECTORSVO) - -THEORIESLIGHTVO:= $(INITVO) $(LOGICVO) $(ARITHVO) + $(INITVO) $(LOGICVO) $(ARITHVO) $(BOOLVO) \ + $(UNICODEVO) $(CLASSESVO) $(PROGRAMVO) \ + $(RELATIONSVO) $(WELLFOUNDEDVO) $(SETOIDSVO) \ + $(LISTSVO) $(STRINGSVO) \ + $(PARITHVO) $(NARITHVO) $(ZARITHVO) \ + $(SETSVO) $(FSETSVO) $(MSETSVO) \ + $(REALSVO) $(SORTINGVO) $(QARITHVO) \ + $(NUMBERSVO) $(STRUCTURESVO) $(VECTORSVO) + +THEORIESLIGHTVO:= $(INITVO) $(LOGICVO) $(UNICODEVO) $(ARITHVO) ## Plugins |