Skip to content
This repository has been archived by the owner on Jul 1, 2022. It is now read-only.

WIP: Pkg Artifacts with legacy mode #4

Merged
merged 11 commits into from
Jun 23, 2020
Merged

WIP: Pkg Artifacts with legacy mode #4

merged 11 commits into from
Jun 23, 2020

Commits on Apr 18, 2020

  1. Configuration menu
    Copy the full SHA
    62d437f View commit details
    Browse the repository at this point in the history
  2. use pkg artifacts

    add legacy mode for old julia version via build.jl
    
    remove source build
    FLINT_PATH for custom flint installations with julia 1.2 or older
    
    dont touch gmp memory functions
    benlorenz committed Apr 18, 2020
    Configuration menu
    Copy the full SHA
    ec84f5a View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    d1d74fe View commit details
    Browse the repository at this point in the history
  4. cleanup

    benlorenz committed Apr 18, 2020
    Configuration menu
    Copy the full SHA
    2c2930c View commit details
    Browse the repository at this point in the history
  5. bump version

    benlorenz committed Apr 18, 2020
    Configuration menu
    Copy the full SHA
    6223331 View commit details
    Browse the repository at this point in the history

Commits on Jun 6, 2020

  1. bump gmp and flint

    remove generate_buildjl which is available in yggdrasil
    benlorenz committed Jun 6, 2020
    Configuration menu
    Copy the full SHA
    56e89f4 View commit details
    Browse the repository at this point in the history

Commits on Jun 8, 2020

  1. add revdep tests

    benlorenz committed Jun 8, 2020
    Configuration menu
    Copy the full SHA
    e7dbb47 View commit details
    Browse the repository at this point in the history

Commits on Jun 19, 2020

  1. minor improvements

    benlorenz committed Jun 19, 2020
    Configuration menu
    Copy the full SHA
    8a9dd24 View commit details
    Browse the repository at this point in the history
  2. Revert "bump gmp and flint"

    This partially reverts commit 56e89f4,
    to switch to the older flint for testing.
    Also add compat to use old flint_jll.
    benlorenz committed Jun 19, 2020
    Configuration menu
    Copy the full SHA
    dcd6d55 View commit details
    Browse the repository at this point in the history

Commits on Jun 22, 2020

  1. Configuration menu
    Copy the full SHA
    cbc18e3 View commit details
    Browse the repository at this point in the history

Commits on Jun 23, 2020

  1. bump to 0.2

    benlorenz committed Jun 23, 2020
    Configuration menu
    Copy the full SHA
    1196ff5 View commit details
    Browse the repository at this point in the history