Giter Site home page Giter Site logo

hengestone / parasail_git Goto Github PK

View Code? Open in Web Editor NEW
9.0 2.0 1.0 8.64 MB

Open source files from the Parasail 8 release

License: GNU General Public License v3.0

Makefile 0.03% Ada 20.58% Lex 0.57% Yacc 2.08% Shell 0.34% LLVM 75.08% QMake 1.19% PHP 0.04% Emacs Lisp 0.05% Vim Script 0.01% Awk 0.02%
concurrency ada compiler strict-types parython javallel

parasail_git's Introduction

Parasail git

Open source files from the Parasail 8.4 release.

Getting started

Following the instructions in documentation/parasail_release_notes.txt -> BUILDING PARASAIL FROM SOURCES on Ubuntu 19.10:

  • apt-get install gnat texlive llvm clang
  • make -j 6 all_no_gtk
  • bin/pslc.csh -d -b3

Editor support

Oliver Henley made a syntax highlighting plugin for VS Code at https://github.com/ohenley/parasail-vscode It can be installed it from the VS Code Extensions Marketplace as well, search for Parasail.

Licensing

Parasail is developed by AdaCore, and licensed mostly under the GPLv3, unless otherwise specified in any individual file. The standard library is provided using the GCC GPL V3.1 Runtime Exception, see the file documentation/GCC_RUNTIME3_1

This repository is provided persuant to the letter and spirit of the above licenses in an effort to explore and publicize Parasail/Paython/Javallel beyond the confines of AdaCore.

parasail_git's People

Contributors

hengestone avatar

Stargazers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

Watchers

 avatar  avatar

Forkers

ohenley

parasail_git's Issues

Cannot bootstrap

I have tried with this and the 8.4.1 zip and get the same result:

Dump LLVM for /tmp/parasail_release_8_4/lib/llvm_printer.psl
   [done compiling /tmp/parasail_release_8_4/lib/llvm_printer.psl]
 Begin initialization code for /tmp/parasail_release_8_4/lib/compiler.psl
 Emit 985 type descriptors for /tmp/parasail_release_8_4/lib/compiler.psl
 Emit 154 anon consts for /tmp/parasail_release_8_4/lib/aaa.psi
 Emit 31 named consts for /tmp/parasail_release_8_4/lib/aaa.psi
 Register 632 compiled ops for /tmp/parasail_release_8_4/lib/aaa.psi
 Emit 1929 strings for /tmp/parasail_release_8_4/lib/aaa.psi
 Emit initialization func for /tmp/parasail_release_8_4/lib/aaa.psi
 Dump LLVM for /tmp/parasail_release_8_4/lib/aaa.psi
   [done compiling /tmp/parasail_release_8_4/lib/aaa.psi]
 Emit 169 anon consts for /tmp/parasail_release_8_4/lib/compiler.psl
 Emit 30 named consts for /tmp/parasail_release_8_4/lib/compiler.psl
 Register 96 compiled ops for /tmp/parasail_release_8_4/lib/compiler.psl
 Emit 2483 strings for /tmp/parasail_release_8_4/lib/compiler.psl
 Emit initialization func for /tmp/parasail_release_8_4/lib/compiler.psl
 Dump LLVM for /tmp/parasail_release_8_4/lib/compiler.psl
   [done compiling /tmp/parasail_release_8_4/lib/compiler.psl]
the third field of the element type is mandatory, specify i8* null to migrate from the obsoleted 2-field form
llc: /tmp/parasail_release_8_4/lib/aaa.psi.ll: error: input module is broken!

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.