- 博客(6)
- 收藏
- 关注
原创 Z3求解器MacOS 安装和运行
Z3求解器MacOS安装和运行https://github.com/Z3Prover/z3 链接里下载zip代码尝试用make和GCC/Clang安装,make过程等挺久的,在最后一步sudo make install报错,说operation no permitted。</>cd 下载代码的文件夹z3-master的地址python scripts/mk_make.pycd buildmakesudo make install</>使用brew in
2021-02-01 01:32:40
788
原创 IntelliJ 如何生成、导入并使用jar包
将一个gradle项目变成jar包导入到另一个gradle项目中在要打包的项目中运行语句: ./gradlew assemble,在build文件夹中找到子文件夹libs,libs中放置已经打包好的jar 文件.将jar文件存到目标项目的libs文件夹中右键jar文件, 选择add as library, add to 想选择的module, 就可以生成dependence.可以在...
2019-09-03 22:26:49
330
原创 JAVAFX 在导出image时,使用SwingFXUtils模块失败.
参考https://openjfx.io/openjfx-docs/#gradle在导出image时,使用SwingFXUtils模块失败.在build.gradle里plugins {id ‘application’id ‘org.openjfx.javafxplugin’ version ‘0.0.7’id ‘org.beryx.jlink’ version ‘2.12.0’ ##...
2019-08-26 23:01:07
784
原创 解决java中的xml文件路径不能被找到的问题
找不到Preferences.xml 文件,这个句子一直报错. byte[] xml2data = ByteStreams.toByteArray(App.class.getResourceAsStream("/Preferences.xml"));我的文件目录如下:找到原因是build文件夹内没有Preferences.xml 文件.我就copy进去,于是可以被找到....
2019-07-24 22:42:10
793
原创 IntelliJ中创建Gradle项目并写JavaFx application时, 解决FXMLLoader报错Location is required的问题
FXMLLoader一直报location is required.正确的main.java内容:注意fxml名字前的那个路径名是宏包名,第一位是/ 开头!!(不然会报错.)package edu.gcsc.biogas.vl;public class App extends Application { public static void main(String[] ar...
2019-07-22 23:34:04
1088
原创 在Mac电脑上IntelliJ中第一次进行JavaFx Application项目的设置Javafx的Library
在Mac电脑上IntelliJ中第一次进行JavaFx Application项目的设置Javafx的Library第一次创建JavaFx Application项目,发现.java和.fxml文件里的import的东西都不生效, 原因是javafx的library没有设置.在网上寻找资料无果,自己折腾半天发现成功了
2019-07-21 19:31:59
2403
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人