diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-11-09 01:58:44 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-11-09 01:58:44 +0000 |
| commit | beb923feadbabd89f92eb61dc6284d41eeccd540 (patch) | |
| tree | 01c1c0e0eb6a9c2ab0bfa0aed9250e1f3f99cfaa /src/algebra/Makefile.pamphlet | |
| parent | 90e75eb56b50a8fb87dc241f5bba0c78aec8c973 (diff) | |
| download | open-axiom-beb923feadbabd89f92eb61dc6284d41eeccd540.tar.gz | |
Fix SF/2893009
* algebra/syntax.spad.pamphlet (ParameterAst): New.
(HeadAst): Use it.
* testsuite/interpreter/sf-2893009.input: Likewise.
* testsuite/interpreter/sf-2893009.spad: New.
Diffstat (limited to 'src/algebra/Makefile.pamphlet')
| -rw-r--r-- | src/algebra/Makefile.pamphlet | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet index 8c5299fb..f4338dfd 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -958,7 +958,7 @@ axiom_algebra_layer_user = \ LSTAST EXITAST RETAST SEGAST PRTDAST CRCAST \ LETAST SUCHAST RDUCEAST COLONAST ADDAST CAPSLAST \ CASEAST HASAST ISAST CATAST WHEREAST COMMAAST \ - QQUTAST DEFAST MACROAST SPADXPT SPADAST \ + QQUTAST DEFAST MACROAST SPADXPT SPADAST PARAMAST \ INBFILE OUTBFILE IOBFILE RGBCMDL RGBCSPC \ CTOR IP4ADDR NETCLT INETCLTS \ FMC FMFUN FORTFN FVC FVFUN ASP34 \ @@ -977,7 +977,8 @@ axiom_algebra_layer_user_objects = \ $(OUT)/SASTCAT.$(FASLEXT): $(OUT)/ASTCAT.$(FASLEXT) $(OUT)/LITERAL.$(FASLEXT): $(OUT)/SASTCAT.$(FASLEXT) -$(OUT)/HEADAST.$(FASLEXT): $(OUT)/IDENT.$(FASLEXT) +$(OUT)/PARAMAST.$(FASLEXT): $(OUT)/IDENT.$(FASLEXT) $(OUT)/STRING.$(FASLEXT) +$(OUT)/HEADAST.$(FASLEXT): $(OUT)/PARAMAST.$(FASLEXT) $(OUT)/SPADXPT.$(FASLEXT): $(OUT)/ASTCAT.$(FASLEXT) $(OUT)/ATTRAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) $(OUT)/TYPEAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) |