Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
cloogle.org
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
0
Issues
0
List
Boards
Labels
Service Desk
Milestones
Merge Requests
0
Merge Requests
0
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Operations
Operations
Incidents
Environments
Analytics
Analytics
CI / CD
Repository
Value Stream
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
Cloogle
cloogle.org
Commits
c0a9c846
Verified
Commit
c0a9c846
authored
Sep 12, 2019
by
Camil Staps
🚀
1
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Temporary fix: clone language-report in frontend for use on /doc
parent
b942d08b
Pipeline
#29456
passed with stages
in 19 minutes and 11 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
4 additions
and
0 deletions
+4
-0
frontend/build.sh
frontend/build.sh
+4
-0
No files found.
frontend/build.sh
View file @
c0a9c846
...
...
@@ -26,6 +26,10 @@ curl -Ls https://ftp.cs.ru.nl/Clean/builds/linux-x64/clean-base-linux-x64-latest
ln
-s
../libs.json
../util/fetch_libs.sh /opt/clean/lib
# Temporary fix for /doc
cd
/opt/clean/doc
git clone https://gitlab.science.ru.nl/clean-compiler-and-rts/language-report.git CleanLangRep
# Build common problems index
apt-get
install
-qq
python3 ca-certificates git
git clone https://gitlab.science.ru.nl/cloogle/common-problems /tmp/common-problems
...
...
Camil Staps
🚀
@cstaps
mentioned in issue
#221 (closed)
·
Sep 12, 2019
mentioned in issue
#221 (closed)
mentioned in issue #221
Toggle commit list
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment