[Trac] [OpenMath] #67: Can't compile rnc -> rng

OpenMath trac at strawberry.eecs.jacobs-university.de
Sun Sep 7 00:43:57 CEST 2008


#67: Can't compile rnc -> rng
----------------------------+-----------------------------------------------
     Reporter:  clange      |          Owner:  kohlhase  
         Type:  defect      |         Status:  new       
     Priority:  major       |      Milestone:            
    Component:  CD3 Format  |        Version:            
   Resolution:              |       Keywords:            
Include_gantt:  0           |   Dependencies:            
   Due_assign:  YYYY/MM/DD  |      Due_close:  YYYY/MM/DD
----------------------------+-----------------------------------------------
Changes (by clange):

  * component:  OM3 Standard => CD3 Format

Old description:

> {{{
> OpenMath3/rnc$ make
> trang -I rnc -O rng cd.rnc cd.rng
> trang -I rnc -O rng cdsig.rnc cdsig.rng
> trang -I rnc -O rng mathml3-arity.rnc mathml3-arity.rng
> /home/clange/svn/openmath.org/OpenMath3/rnc/cd/mathml3-fns1-arity.rnc:15:14:
> error: syntax error
> /home/clange/svn/openmath.org/OpenMath3/rnc/cd/mathml3-limit1-arity.rnc:21:14:
> error: syntax error
> make: *** [mathml3-arity.rng] Error 1
> }}}
>
> (BTW, I'm not sure what component this fits into. I guess the Relax NG is
> part of the "standard", right? I.e. the standard is the written spec plus
> the formal grammar.)

New description:

 {{{
 OpenMath3/rnc$ make
 trang -I rnc -O rng cd.rnc cd.rng
 trang -I rnc -O rng cdsig.rnc cdsig.rng
 trang -I rnc -O rng mathml3-arity.rnc mathml3-arity.rng
 /home/clange/svn/openmath.org/OpenMath3/rnc/cd/mathml3-fns1-arity.rnc:15:14:
 error: syntax error
 /home/clange/svn/openmath.org/OpenMath3/rnc/cd/mathml3-limit1-arity.rnc:21:14:
 error: syntax error
 make: *** [mathml3-arity.rng] Error 1
 }}}

Comment:

 sorry, didn't notice the component CD3 Format initially

-- 
Ticket URL: <https://trac.mathweb.org/OM3/ticket/67#comment:1>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.


More information about the Trac mailing list