diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-11-17 14:51:36 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-11-17 14:51:36 +0000 |
| commit | b362f3e1e8c7b4a79053b25a57296ff7be1c5ddf (patch) | |
| tree | b311040842bb219a6b7c35163db638a6c7dc476b /src/algebra/Makefile.pamphlet | |
| parent | 3f40cfa51fa0a3827ff0e06318103be5f63e367b (diff) | |
| download | open-axiom-b362f3e1e8c7b4a79053b25a57296ff7be1c5ddf.tar.gz | |
* algebra/syntax.spad.pamphlet (StepAst): New.
(SpadAstExports): Add case for StepAst.
(SpadAst): Implement.
Diffstat (limited to 'src/algebra/Makefile.pamphlet')
| -rw-r--r-- | src/algebra/Makefile.pamphlet | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet index f4338dfd..1c2c56e8 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -959,7 +959,7 @@ axiom_algebra_layer_user = \ LETAST SUCHAST RDUCEAST COLONAST ADDAST CAPSLAST \ CASEAST HASAST ISAST CATAST WHEREAST COMMAAST \ QQUTAST DEFAST MACROAST SPADXPT SPADAST PARAMAST \ - INBFILE OUTBFILE IOBFILE RGBCMDL RGBCSPC \ + INBFILE OUTBFILE IOBFILE RGBCMDL RGBCSPC STEPAST \ CTOR IP4ADDR NETCLT INETCLTS \ FMC FMFUN FORTFN FVC FVFUN ASP34 \ ASP1 ASP10 ASP24 ASP4 ASP50 ASP6 \ @@ -990,6 +990,8 @@ $(OUT)/IFAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) $(OUT)/RPTAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) $(OUT)/WHILEAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) $(OUT)/INAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) +$(OUT)/STEPAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) \ + $(OUT)/IDENT.$(FASLEXT) $(OUT)/MAYBE.$(FASLEXT) $(OUT)/CLLCTAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) $(OUT)/LSTAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) $(OUT)/EXITAST.$(FASLEXT): $(OUT)/SPADXPT.$(FASLEXT) |