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

OpenMath trac at strawberry.eecs.jacobs-university.de
Sat Sep 6 22:17:55 CEST 2008


#67: Can't compile rnc -> rng
-----------------------------+----------------------------------------------
    Reporter:  clange        |           Owner:  kohlhase  
        Type:  defect        |          Status:  new       
    Priority:  major         |       Milestone:            
   Component:  OM3 Standard  |         Version:            
    Keywords:                |   Include_gantt:  0         
Dependencies:                |      Due_assign:  YYYY/MM/DD
   Due_close:  YYYY/MM/DD    |  
-----------------------------+----------------------------------------------
 {{{
 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.)

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


More information about the Trac mailing list