[M3devel] replace build system??

[Daniel Alejandro Benavides D.]

Hi Jay and all:I am searching options to make it easier (maybe tricking our selves) for new Modula-3 users explore our system.As I said recently, there is a java front end (just misses IRC type checking m3clipse) and there was FOSS "Scale compiler" backend written in Java, M3 DEC-SRC front end compatible (it generated Sparc, Alpha and Powerpc object code). An excerpt from The Common Language Encoding Form(Clef) Design Document:
"For Modula-3, Scale uses the Digital Equipment Corporation(DEC) Systems Research Center (SRC) Modula-3 front end to generate an AST representation. M32CLEFreads the Modula-3 AST and uses the generation interface to convert it to Scale's high-level representation." [1]



But anyway in my research found DEC was working just before sold to Compaq in an enriched type system, so I would prefer to let current compiler to do the job just in case we anyhow got their experimental type checker:
"Modern programming languages, such as C++, Java, and Ada, include compile-time checks to detect a wide range of possible errors. The checks are based on declaring or inferring a type for each object (i.e., variables and procedures) and analyzing the program to establish that objects are used in ways consistent with their types. This kind of automated support is especially helpful for detecting the kinds of errors (such as passing arguments that overflow a corresponding parameter) so successfully used by attackers of operating system and network software. Ever more expressive type systems are a continuing theme in programming language research, with considerable attention being directed recently at the representation of security properties using types (Digital Equipment Corporation, 1997). Success would mean that compile-time checks could play an even bigger role in supporting trustworthiness properties. " [2]
Thanks in advance for any comment


  [1]«Abstract». [on line]. Available on en: ftp://ftp.cs.umass.edu/pub/osl/papers/clef97-abs.html. [Accessed: 31-may-2016].    [2]«Trust in Cyberspace». [on line]. Available on: http://cryptome.org/tic.htm. [Accessed: 31-may-2016].  

    El Martes 31 de Mayo de 2016 11:35, Elmar Stellnberger <estellnb at elstel.org> escribió:
 

 Am 2016-05-31 um 09:32 schrieb Jay K:
> i.e. I'd really like to get out of the build system business.
> like to just use autotools or cmake?

A make-based build solution would have other advantages as well like 
f.i. parallel build by make --jobs=4. That way CM3 could build up to 
four times faster.

> But I suspect our system's qualities is difficult to replicate within the other frameworks.
> i.e. the incrementality
> The way every dynamic library is also available statically.
>

  Why not employ a simple hand written make-file that determines that 
by environment variables? i.e. what libraries to build statically.
_______________________________________________
M3devel mailing list
M3devel at elegosoft.com
https://mail.elegosoft.com/cgi-bin/mailman/listinfo/m3devel


  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://m3lists.elegosoft.com/pipermail/m3devel/attachments/20160531/5d5392c6/attachment-0002.html>